Mieke Massink

• Coordination Models and Languages
• Fundamentals of Software Engineering
• Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops