1
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2014
Tabl Cynhwysion: ...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion: ... and Implicit Computational Complexity -- Programming and Reasoning with Guarded Recursion for Coinductive Types...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2015
Tabl Cynhwysion: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
Cael y testun llawn
Electronig eLyfr