Formal Methods and Software Engineeringby Kung-Kiu Lau, Richard BanachSoftware engineeringWriting a summary for young readers…For young readersBook data: Open Library