AI Verification
Subtitle: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031651113