ISBN 303119991X books & textbook
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science)
Bouajjani, Ahmed Holík, Lukáš Wu, Zhilin
Springer /2022-10-23 Paperback / 456 Pages
isbn-10: 303119991X / isbn-13: 9783031199912
