Software Engineering and Formal Methods. SEFM 2023 Collocated Workshopsby Alessandro AldiniWriting a summary for young readers…For young readersBook data: Open Library