Mixed abstractions for floatingpoint arithmetic (2009)

by A Brillout, D Kroening, T Wahl
Venue:In Formal Methods in Computer Aided Design (FMCAD