Loek CleophasBooksModel Management and Analytics for Large Scale SystemsSoftware Engineering and Formal Methods. SEFM 2020 Collocated WorkshopsAuthor data: Open Library