Formal methods and software engineeringby Jifeng He, Zhiming LiuWriting a summary for young readers…For young readersBook data: Open Library