Gusperti, Andrea and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0269]. - Un sistema di tipi di sicurezza per il Java Bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.