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

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

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