TGC 2010:
Munich, Germany
Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.):
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers.
Lecture Notes in Computer Science 6084 Springer 2010, ISBN 978-3-642-15639-7
Invited Talks
Types and Processes
Games and Concurrent Systems
Certification of Correctness
César Kunz:
Certificate Translation for the Verification of Concurrent Programs.
237-252
Tools and Languages
Probabilistic Aspects