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

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

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