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

View PDF

Download Links

by John Harrison
Venue:UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY
Citations:41 - 7 self