Mixed abstractions for floating-point arithmetic.

Angelo Brillout, Daniel Kroening, Thomas Wahl

Browse the full FMCAD paper archive.