Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages) [Paperback]
