Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

64.99 GBP

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