ISBN 3031651111 books & textbook
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings (Lecture Notes in Computer Science)
Avni, Guy Giacobbe, Mirco Johnson, Taylor T. Katz, Guy Lukina, Anna Narodytska, Nina Schilling, Christian
Springer /2024-07-17 Paperback / 200 Pages
isbn-10: 3031651111 / isbn-13: 9783031651113
