Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
Wu, Zhilin; Bouajjani, Ahmed; Holik, Lukas
Springer International Publishing AG
10/2022
432
Mole
Inglês
9783031199912
15 a 20 dias
694