Automated Technology for Verification and Analysis
Subtitle: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
Publisher: Springer International Publishing AG
Published: 2021
Language: eng
ISBN-13: 9783030888848