Corso di Analisi Statica e Verifica Automatica (LM in Informatica, a.a. 08/09)

Corso di Semantica dei Linguaggi di Programmazione (LM in Informatica, a.a. 08/09)

Corso di Programmazione ad Oggetti (L in Informatica, a.a. 08/09)