AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
Edición de la obra AI Verification
| Autor | Guy Avni, Mirco Giacobbe, Anna Lukina, Nina Narodytska |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031651113 |
| Número de Cutter | A959a |