Automated Technology for Verification and Analysis
Subtitle: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Publisher: Springer
Published: Oct 06, 2019
Format: paperback
Number of pages: 563
ISBN-13: 9783030317836
Notes: Source title: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science (11781))