External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 4, Issue 3-4

    120 -- 372Antoine Miné. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
    runs on