METODI FORMALI PER LA CYBERSECURITY Informations Responsabile didattico: Andrea Saracino Semestre: 2° semestre Durata (ore): 20 Corso: Ingegneria Details