Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Sponsored Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

64.99 GBP
Price updated on: 13-12-2025 00:39:40
View product deal
Identifiers
Dimensions / Weight
Key Features
Springer International Publishing