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

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 BibTeX

Copyright © Sat May 16 23:46:47 2009 by Michael Ley (ley@uni-trier.de)