Software Engineering and Formal Methodsby Gilles Barthe, Alberto Pardo, Gerardo SchneiderWriting a summary for young readers…For young readersBook data: Open Library