Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revise...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Kuncak, Viktor. (Editor), Rybalchenko, Andrey. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series:Lecture Notes in Computer Science, 7148
Online Access:


3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available