Professor: SEBASTIANI ROBERTO

en

Course name: Formal methods [145056]

Dipartimento di Ingegneria e Scienza dell'Informazione, Corso di Laurea Magistrale in INFORMATICA (LM)

Dipartimento di Matematica, Corso di Laurea Magistrale in MATEMATICA (LM)

a.a. 2019/2020