Software Engineering and Formal Methods. SEFM 2020 Collocated Workshopsby Loek Cleophas, Mieke MassinkWriting a summary for young readers…For young readersBook data: Open Library