Automated Technology for Verification and Analysis
Subtitle: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Publisher: Springer International Publishing AG
Published: 2015
Language: eng
Number of pages: 520
ISBN-13: 9783319249520
Subjects: Automatic theorem proving