Floating-point arithmetic in the Coq system
Under an Elsevier user license
open archive
Keywords
Floating-point arithmetic
Formal proofs
Coq system
Cited by (0)
- 1
This work was partly done while at the Microsoft Research – INRIA Joint Laboratory.
Copyright © 2012 Elsevier Inc. All rights reserved.