Corso di Analisi Statica e Verifica del Software (LM in Informatica, a.a. 10/11)
Corso di Programmazione ad Oggetti (L in Informatica, a.a. 10/11)