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
|