Edizioni correnti:

• Linguaggi di Programmazione per la Sicurezza     A.A. 2007/08-2008/09-2009/10-2010/11

• Metodi per il Ragionamento Automatico    A.A. 2006/07-2007/08-2008/09-2009/10

• Modellazione ed Analisi di Sistemi A.A. 2009/10-2010/11

Edizioni passate:

• Linguaggi di Programmazione per la Sicurezza    A.A. 2006/07

• Metodi Formali dell' Informatica     A.A. 2005/06

• Metodi Formali dell' Informatica     A.A. 2004/05

• Metodi per il Ragionamento Automatico     A.A. 2004/05