Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 11990
DOI
10.1007/978-3-030-39322-9
Series Schriftenreihe
Lecture Notes in Computer Science