Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
Hamna Aslam
2022 - Lecturer
Latest
Reflections on Teaching Formal Methods for Software Development in Higher Education
Cite
×
