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