Verified Software: Theories, Tools, Experiments

2. VSTTE 2008: Toronto, Canada

Natarajan Shankar, Jim Woodcock (Eds.): Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings . Lecture Notes in Computer Science 5295 Springer 2008, ISBN 978-3-540-87872-8
Contents BibTeX

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
Contents BibTeX

J. Cooke: Editorial (VSTTE Special Issue). Formal Asp. Comput. 19(2): 137-138(2007) BibTeX