Corso di Analisi Statica e Verifica del Software (LM in Informatica, a.a. 13/14, I trimestre)
Corso di Programmazione ad Oggetti (L in Informatica, a.a. 13/14, II trimestre)