Busti, Matteo and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0292]. - Struttura di una architettura per il proof-carrying code. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.