Metodi Formali per la Sicurezza
Formal Methods for Security
DOCENTI | Chiara Bodei
chiara.bodei-at-unipi.it http://www.di.unipi.it/~chiara |
ORARIO | Lunedì 11-13, Mercoledì 9-11 |
ORARIO RICEVIMENTO | Mercoledì 11-13 |
INFORMAZIONI SUL CORSO | PRESENTAZIONE DEL CORSO | LEZIONI |
Avvisi
Date prove e appelli