Verification, Model Checking, and Abstract Interpretationby Dirk Beyer, Damien ZuffereyWriting a summary for young readers…For young readersBook data: Open Library
