Verification, Model Checking, and Abstract Interpretation
by Kedar S. Namjoshi, Andreas Podelski
Computer ProgrammingComputersComputers - General InformationComputer Books: GeneralLogic DesignProgramming - Software DevelopmentProgramming Languages - GeneralComputers / Logic Design
Writing a summary for young readers…
For young readers
Book data: Open Library