Floating-Point Verification

Cached

Download Links

by M. J. C. Gordon

Document Versions

Floating-Point Verification –M. J. C. Gordon