Verification, Model Checking, and Abstract Interpretation Mehr Bücher von Cezara Drăgoi, Michael Emmi & Jingbo Wang

Static Analysis

2021