Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27 31, Proceedings (Lecture Notes in Computer Science, 16145)
Comparar tiendas web (1)
Shop
Precio