First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 805,01 KBShare Document on Facebook |
Mjolnir Computing tools to empower users Web site: http://mjolnir.lille.inria.fr/ Contact: 2015DocID: 1rk7t - View Document | |
Microsoft Word - SGP09_CfP.docDocID: 1ri9j - View Document | |
Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016DocID: 1rh1S - View Document | |
3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D VisionDocID: 1r72u - View Document | |
LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez, Asterios Katsifodimos, Ioana Manolescu, Alexandra Roatis Leo Team - INRIA Saclay & Université de Paris-Sud XI The LiquidXML PlatformDocID: 1qZpO - View Document |