Mailing list del corso di Metodi Formali nell'Ing. del SW tenuto dal Prof. Toni Mancini - Facoltà di Ingegneria, Sapienza Università di Roma.
Mailing list of the "Formal Methods in Software Engineering" course - Prof. Toni Mancini - School of Engineering, Sapienza University of Roma, Italy.