Verification, Model Checking, and Abstract Interpretation More Books by Cezara Drăgoi, Michael Emmi & Jingbo Wang

Static Analysis

2021