Correct Approximation of IEEE 754 Floating-Point Arithmetic Program Verification

No comments yet.