Master Formal Methods for System Design Taught to Master students in mathematics and computer science.
