From Software Engineering to Formal Methods and Tools, and Backby Maurice H. ter Beek, Alessandro Fantechi, Laura SeminiWriting a summary for young readers…For young readersBook data: Open Library