FormReq'19 Invited TalkFormality in RequirementsLast updated on Oct 17, 2020SlidesJean-Michel BruelProfessor of Software EngineeringMy research interests include Model-Based Systems Engineering and Requirements Engineering.