Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Neil D. Jones Markus Müller-Olm Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings 5403 2009 http://dx.doi.org/10.1007/978-3-540-93900-9 978-3-540-93899-6 VMCAI Lecture Notes in Computer Science Springer db/conf/vmcai/vmcai2009.html