A Machine-Checked Theory of Floating Point Arithmetic (1999)

Cached

Download Links

by John Harrison
Citations:31 - 5 self