Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Lecture Notes in Computer Science, Band 10482)

Verification

von: Deepak D'Souza · K. Narayan Kumar

Taschenbuch

ISBN: 978-3-319-68166-5

ISBN-10: 3-319-68166-4

Springer · 2017