Verification, Model Checking and Abstract Interpretation (VMCAI)
14. VMCAI 2013: Rome, Italy
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.): Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7737 ISBN 978-3-642-35872-2 [ contents ]
13. VMCAI 2012: Philadelphia, PA, USA
- Viktor Kuncak, Andrey Rybalchenko (Eds.): Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7148 ISBN 978-3-642-27939-3 [ contents ]
12. VMCAI 2011: Austin, Texas, USA
- Ranjit Jhala, David A. Schmidt (Eds.): Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6538 ISBN 978-3-642-18274-7 [ contents ]
11. VMCAI 2010: Madrid, Spain
- Gilles Barthe, Manuel V. Hermenegildo (Eds.): Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 5944 ISBN 978-3-642-11318-5 [ contents ]
10. VMCAI 2009: Savannah, GA, USA
- Neil D. Jones, Markus Müller-Olm (Eds.): Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5403 ISBN 978-3-540-93899-6 [ contents ]
9. VMCAI 2008: San Francisco, CA, USA
- Francesco Logozzo, Doron Peled, Lenore D. Zuck (Eds.): Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 4905 ISBN 978-3-540-78162-2 [ contents ]
8. VMCAI 2007: Nice, France
- Byron Cook, Andreas Podelski (Eds.): Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4349 ISBN 978-3-540-69735-0 [ contents ]
7. VMCAI 2006: Charleston, SC, USA
- E. Allen Emerson, Kedar S. Namjoshi (Eds.): Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 3855 ISBN 3-540-31139-4 [ contents ]
6. VMCAI 2005: Paris, France
- Radhia Cousot (Ed.): Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3385 ISBN 3-540-24297-X [ contents ]
5. VMCAI 2004: Venice, Italy
- Bernhard Steffen, Giorgio Levi (Eds.): Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 2937 ISBN 3-540-20803-8 [ contents ]
4. VMCAI 2003: New York, NY, USA
- Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (Eds.): Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Springer 2003 Lecture Notes in Computer Science 2575 ISBN 3-540-00348-7 [ contents ]
3. VMCAI 2002: Venice, Italy
- Agostino Cortesi (Ed.): Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Springer 2002 Lecture Notes in Computer Science 2294 ISBN 3-540-43631-6 [ contents ]
2. VMCAI 1998: Pisa, Italy
1. VMCAI 1997: Port Jefferson, NY, USA
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