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.
Lecture Notes in Computer Science 7737 Springer 2013, ISBN 978-3-642-35872-2,978-3-642-35873-9
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.
Lecture Notes in Computer Science 7148 Springer 2012, 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.
Lecture Notes in Computer Science 6538 Springer 2011, 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.
Lecture Notes in Computer Science 5944 Springer 2010, 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.
Lecture Notes in Computer Science 5403 Springer 2009, 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.
Lecture Notes in Computer Science 4905 Springer 2008, ISBN 978-3-540-78162-2
Contents
- VMCAI 2008 Home Page
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.
Lecture Notes in Computer Science 4349 Springer 2007, 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.
Lecture Notes in Computer Science 3855 Springer 2006, 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.
Lecture Notes in Computer Science 3385 Springer 2005, 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.
Lecture Notes in Computer Science 2937 Springer 2004, 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.
Lecture Notes in Computer Science 2575 Springer 2003, ISBN 3-540-00348-7
Contents
- VMCAI 2003 Home Page
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.
Lecture Notes in Computer Science 2294 Springer 2002, ISBN 3-540-43631-6
Contents
- VMCAI 2002 Home Page
2. VMCAI 1998: Pisa, Italy
VMCAI 1998 Home Page
1. VMCAI 1997: Port Jefferson, NY, USA
Last update Sun May 19 23:41:37 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
