Software Engineering and Formal Methods. SEFM 2020 Collocated WorkshopsLoek Cleophas, Mieke Massink · First published 2021Open the Tome
Fundamentals of Software EngineeringHossein Hojjat, Mieke Massink · First published 2019Open the Tome
Coordination Models and LanguagesJean-Marie Jacquet, Mieke Massink · First published 2005Open the Tome
