Verified Software. Theories, Tools, and Experimentsby Andrei Paskevich, Thomas WiesComputer softwareWriting a summary for young readers…For young readersBook data: Open Library