Protocol Specification, Testing, and Verification XIby Bengt JonssonWriting a summary for young readers…For young readersBook data: Open Library