Automated Technology for Verification and Analysis
Subtitle: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018. Proceedings
Publisher: Springer International Publishing AG
Published: 2018
Language: eng
ISBN-13: 9783030010898
Subjects: Automatic theorem proving; Artificial intelligence