Verification, Model Checking, and Abstract Interpretation
Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation
ISBN
978-3-319-73720-1
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-73721-8
Series Schriftenreihe
Lecture Notes in Computer Science