Context

Context of Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system, Sylvie Boldo, Guillaume Melquiond, (electronic book)
Processing Feedback ...