Reflections on Teaching Formal Methods for Software Development in Higher Education

January 2019
PDF Cite DOI
Type
Conference paper
Publication
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers