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. Springer 2012 Lecture Notes in Computer Science 7152 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. Springer 2010 Lecture Notes in Computer Science 6217 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 . Springer 2008 Lecture Notes in Computer Science 5295 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. Springer 2008 Lecture Notes in Computer Science 4171 ISBN 978-3-540-69147-1 [ contents ]
- J. Cooke: Editorial (VSTTE Special Issue). ... 137-138
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team