Byron Cook Andreas Podelski Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings VMCAI Lecture Notes in Computer Science 4349 Springer 2007 978-3-540-69735-0 db/conf/vmcai/vmcai2007.html