Metodi per la Verifica Automatica dei Sistemi (MVAS)
docente: prof.ssa Margherita Napoli (mail)
Lezioni:
lunedì 11-13 aula F2 venerdì 11-13 aula F2