Verification, Model Checking, and Abstract Interpretation
Subtitle: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Publisher: Springer
Published: Jan 10, 2018
Format: paperback
Number of pages: 558
ISBN-13: 9783319737201
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science (10747))