Sites Inria

There are 1 Results with the keyword : "Sylvie Boldo"

Publication

Computer arithmetic and formal proofs

29/11/2017

The work "Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System", co-written by Sylvie Boldo and Guillaume Melquiond (Toccata team - Inria) has just been published by Editions Iste .

Keywords:

Home > Centre > Saclay > News > Arithmétique informatique et preuves formelles

More

Top