Metodi Formali per la Sicurezza
Formal Methods for Security
| DOCENTI | Chiara Bodei
chiara-at-di.unipi.it http://www.di.unipi.it/~chiara |
| ORARIO | Mercoledì 9-11, Aula B e Venerdì 11-13, Aula N1 |
| ORARIO RICEVIMENTO | Lunedì 9-11 |
| INFORMAZIONI SUL CORSO | PRESENTAZIONE DEL CORSO | LEZIONI | Elenco Lezioni |
Avvisi
- Su richiesta degli studenti che frequentano il corso, si è deciso di spostare la lezione del lunedì, al mercoledì, nello stesso orario.
Date prove e appelli