Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings -
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Description
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
