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

Document Versions

Floating point verification in HOL Light: the exponential function –John Harrison — 1997 — UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY
Floating point verification in HOL Light: the exponential function –John Harrison — 1997 — University of Cambridge Computer Laboratory