Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages) | DealShopping Deutschland