>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]
Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

 Edizione dell'a.a. 2007/08

Parte I: Il ruolo dei Metodi Formali nell'Ingegneria del Software

Dispense del corso

Codice Descrizione
D.I.1 A. Hall, Seven myths of formal methods, IEEE Software, 1990

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]