Benedetta Parodi c2122d9568 resurrect		2024-10-29 09:11:05 +01:00
..
00.19-20Intro-Corso.pdf	resurrect	2024-10-29 09:11:05 +01:00
obbiettivi_del_corso	resurrect	2024-10-29 09:11:05 +01:00
Teaching Formal Methods for Software Engineering - fwfm2013.pdf	resurrect	2024-10-29 09:11:05 +01:00
testi	resurrect	2024-10-29 09:11:05 +01:00
verifica_apprendimento	resurrect	2024-10-29 09:11:05 +01:00