Verified Software: Theories, Tools, Experiments
4. VSTTE 2012: Philadelphia, PA, USA
Rajeev Joshi, Peter Müller, Andreas Podelski (Eds.):
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings.
Lecture Notes in Computer Science 7152 Springer 2012, ISBN 978-3-642-27704-7
Contents 
3. VSTTE 2010: Edinburgh, UK
Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (Eds.):
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings.
Lecture Notes in Computer Science 6217 Springer 2010, ISBN 978-3-642-15056-2
Contents
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
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
J. Cooke:
Editorial (VSTTE Special Issue).
Formal Asp. Comput. 19(2): 137-138(2007)
Last update Fri May 25 08:46:35 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
