Collezione di dispense scritte in LaTeX per alcuni corsi della Laurea Magistrale in Ingegneria e Scienze Informatiche - Curriculum di Sicurezza dei Sistemi (Università degli Studi di Verona).
- Sicurezza delle Reti
- Analisi dei Sistemi Informativi
- Verifica Automatica dei Sistemi
- Sistemi Informativi
- Intelligenza Artificiale
- Sistemi a Eventi Discreti