AI Verification

Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings
Oktober 2025, ca. 280 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99990-1

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Weitere Titel zum Thema