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