Software Engineering and Formal Methods. SEFM 2020 Collocated WorkshopsLoek Cleophas, Mieke Massink · First published 2021Open the Tome
Model Management and Analytics for Large Scale SystemsBedir Tekinerdogan, Onder Babur, Loek Cleophas, Mark van den Brand, Mehmet Aksit · First published 2019Open the Tome
