Bridging the gap between formal specification and bit-level floating-point arithmetic (2004)

by S Boldo
Venue:Proceedings of the 6th Conference on Real Numbers and Computers