Results
Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
© 2018
Soft cover - Print (ISBN: 978-3-319-73720-1)
Electronic (ISBN: 978-3-319-73721-8)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-73721-8