Tacchella, Paolo and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0017]. - Analisi di flussi di informazione sicura in programmi logici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.