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
ISBN
978-3-319-52233-3
Editor Herausgeber_in
Publisher Herausgeber
Springer Cham
Springer Heidelberg
Springer Heidelberg
DOI
10.1007/978-3-319-52234-0
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
10145
Results 1-1 of 1 (Search time: 0.002 seconds).