Automated Technology for Verification and Analysis
Subtitle: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Publisher: Springer
Published: Oct 04, 2017
Format: paperback
Number of pages: 501
ISBN-13: 9783319681665
Notes: Source title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Lecture Notes in Computer Science (10482))