Up a level |
Zanotti, Mirko and Giacobazzi, Roberto (rel.) and Solitro, Ugo (controrel.) (2001) [BM Tesi I 0022]. - Derivazione di tipi di sicurezza mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.