1
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... and Implicit Computational Complexity -- Programming and Reasoning with Guarded Recursion for Coinductive Types...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
View full text
Electronic eBook