Automated Technology For Verification And Analysis 19th International Symposium Atva | Desertcart Hong Kong
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings: 12971 (Lecture Notes in Computer Science)