![Theoretical computer science / Formal methods / French Institute for Research in Computer Science and Automation / Computer science / Verification / Formal verification / Software verification / Mathematics / Cognitive science Theoretical computer science / Formal methods / French Institute for Research in Computer Science and Automation / Computer science / Verification / Formal verification / Software verification / Mathematics / Cognitive science](https://www.pdfsearch.io/img/f862a08768251031f7cd625f7f213786.jpg) Date: 2010-07-21 10:31:12Theoretical 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-FranceAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 805,01 KBShare Document on Facebook
|