EIFL Thursday, December 15 th, 2011 Brook Schofield Project Development Officer [email protected] Slide 1.
Abstraction and Approximation via Abstract Interpretation: