Inizio delle lezioni di "Metodi formali per la sicurezza"

Le lezioni dell'insegnamento di "Metodi formali per la sicurezza" (Laurea Magistrale in Sicurezza Informatica - sede di Taranto) inizieranno martedì 5 ottobre.