Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
ISBN
9783319737201
Editor Herausgeber_in
Publisher Herausgeber
Springer Cham
Los Angeles
Los Angeles
DOI
10.1007/978-3-319-73721-8
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
10747
Access Type
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).