Mieke MassinkBooksSoftware Engineering and Formal Methods. SEFM 2020 Collocated WorkshopsCoordination Models and LanguagesFundamentals of Software EngineeringAuthor data: Open Library