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