A machine checked theory of floating point arithmetic (1999)

by J Harrison
Venue:In TPHOL '99, volume 1690 of LNCS