Verification, Model Checking and Abstract Interpretation (VMCAI)

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 BibTeX

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

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX - VMCAI 2002 Home Page

2. VMCAI 1998: Pisa, Italy

VMCAI 1998 Home Page