Floating point verification in HOL Light: the exponential function (1997)

Cached

Download Links

by John Harrison
Venue:University of Cambridge Computer Laboratory
Citations:31 - 6 self