Verification, Model Checking, and Abstract Interpretationby Constantin Enea, Ruzica PiskacStoppedpages cmWriting a summary for young readers…For young readersBook data: Open Library
