Automated Technology for Verification and Analysis
Subtitle: 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783031199912