Metodi Formali per l'informatica (materiale didattico su http://informatica2.di.uniba.it/)