Reflections on Teaching Formal Methods for Software Development in Higher Education

Publication
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
Hamna Aslam
Hamna Aslam
Ph.D. student since 10/2019

Co-directed with Dr. Joseph Brown.

Jean-Michel Bruel
Jean-Michel Bruel
Professor of Software Engineering

My research interests include Model-Based Systems Engineering and Requirements Engineering.

Related