Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Lecture Notes in Computer Science 10145
DOI
10.1007/978-3-319-52234-0
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.002 seconds).