Verification, Model Checking, and Abstract Interpretation
Subtitle: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Publisher: Springer
Published: Jan 07, 2013
Format: paperback
Number of pages: 567
ISBN-13: 9783642358722
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science (7737))