Sfoglia per Relatore
| Tipo | Anno accademico | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Laurea magistrale (Postgraduate Degree) | 2018/2019 | Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software | CIAVARRO, CRISTINA | |
| Laurea triennale (Bachelor's Degree) | 2019/2020 | TTT2: un tool per la terminazione di sistemi di riscrittura | FORTUNATO, FEDERICO |
Legenda icone
- File disponibili sulla rete interna
- File non disponibili
- File sotto embargo