Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo Doron Peled Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings VMCAI Lecture Notes in Computer Science 4905 Springer 2008 978-3-540-78162-2 db/conf/vmcai/vmcai2008.html