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