An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs. - Vinh D. Thai; Tho T. Quan; Tien V. Le; Binh T. Ngo (RIVF, 2012)