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.