Combining Coq and Gappa for Certifying Floating-Point Programs

DOI10.1007/978-3-642-02614-0_10zbMath1247.68232OpenAlexW1561086741MaRDI QIDQ3637269

Could not fetch data.

Publication date: 9 July 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_10

Mathematics Subject Classification ID

Could not fetch data.