Mehrnoosh Askarpour, Marcello M. Bersani. Teaching Formal Methods: An Experience Report. In Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer 0001, Alexandr Naumchev, Andrey Sadovykh, editors, Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Volume 12271 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]
Abstract is missing.