Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineeringby Stefania GnesiWriting a summary for young readers…For young readersBook data: Open Library