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