Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / French Institute for Research in Computer Science and Automation / Computer science / Verification / Formal verification / Software verification / Mathematics / Cognitive science


Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France
Add to Reading List

Document Date: 2010-07-21 10:31:12

Open Document

File Size: 805,01 KB

Share Result on Facebook
UPDATE