AI Verification
- Autor
- Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
- Matèria
- Editor
- Springer Nature
- Data publicació
- 2024
- Identificador
- 9783031651120
- Col·lecció
- Accés https://link.springer.com/openurl?genre=book&isbn=978-3-031-65112-0