Automated Technology for Verification and Analysis
Subtitle: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030591519