---

Gli studenti che desiderano seguire il corso di Formal Methods della Laurea Magistrale in Informatica sono pregati di mandarmi una email (gmpinna@unica.it). 

Il corso inizierà il 6 ottobre, con orario come da calendario.