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

by Sylvie Boldo
Citations:2 - 0 self