Zavatteri, Matteo
Zavatteri, Matteo
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 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 |