Verification, Model Checking, and Abstract Interpretation
Subtitle: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Publisher: Springer
Published: Jan 12, 2017
Format: paperback
Number of pages: 577
ISBN-13: 9783319522333
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Lecture Notes in Computer Science (10145))