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