M mitpress.mit.edu Principles of Abstract Interpretation by Patrick Cousot 16 points selff 5 years ago 0 comments