Cerca per relatore della tesi |
Risultati da
1 a 2 di 2
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| An efficient abstract domain for the approximation of machine integers | INFORMATICA | 2019 | |
| Programmazione logica con vincoli per la generazione automatica di test su programmi C/C++ | INFORMATICA | 2011 |
| Nuova ricerca |