Zavatteri, Matteo

Zavatteri, Matteo  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Preface 2025 Vinci C.Zavatteri M. + - CEUR WORKSHOP PROCEEDINGS OVERLAY 2024 - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024