dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Session 1

Invited Tutorial

Session 2

Invited Talk

Session 3

Invited Tutorial

Session 4

Invited Talk

Session 5

Invited Tutorial

Session 6

Copyright © Mon Nov 2 21:19:48 2009 by Michael Ley (ley@uni-trier.de)