AI Verification Dublin Core Títol AI Verification Autor Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2024 Identificador 9783031651120 Font https://doi.org/10.1007/978-3-031-65112-0 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
