Verification, Model Checking, and Abstract Interpretation
Subtitle: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Publisher: Springer
Published: Feb 07, 2020
Format: paperback
Number of pages: 485
ISBN-13: 9783030393212
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science (11990))