A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers.

Carlos Acosta Martine Ceberio Christian Servin A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers. 232-237 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#AcostaCS08