dblp.uni-trier.de www.uni-trier.de

1. VSTTE 2005: Zurich, Switzerland

Bertrand Meyer, Jim Woodcock (Eds.): Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science 4171 Springer 2008, ISBN 978-3-540-69147-1 BibTeX


Verification Tools

Guaranteeing Correctness

Software Engineering Aspects

Verifying Object-Oriented Programming

Programming Language and Methodology Aspects


Static Analysis

Design, Analysis and Tools

Formal Techniques

Position Papers

Copyright © Sat May 16 23:46:55 2009 by Michael Ley (ley@uni-trier.de)