Formal Methods and Software Engineeringby Karin Breitman, Ana CavalcantiWriting a summary for young readers…For young readersBook data: Open Library