Formal

#	Item
61	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 Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:12 Theoretical computer science Formal methods French Institute for Research in Computer Science and Automation Computer science Verification Formal verification Software verification Mathematics Cognitive science
62	PDF Document Add to Reading List Source URL: formal.iti.kit.edu - Date: 2018-04-09 15:09:01
63	PDF Document Add to Reading List Source URL: formal.epfl.ch - Date: 2016-07-13 09:43:24
64	PDF Document Add to Reading List Source URL: formal.epfl.ch - Date: 2016-07-13 11:35:02
65	PDF Document Add to Reading List Source URL: formal.iti.kit.edu - Date: 2018-03-29 09:47:51
66	PDF Document Add to Reading List Source URL: formal.epfl.ch - Date: 2016-07-13 09:43:24
67	PDF Document Add to Reading List Source URL: formal.iti.kit.edu - Date: 2018-03-29 09:46:45
68	PDF Document Add to Reading List Source URL: formal.iti.kit.edu - Date: 2018-04-12 13:14:54
69	PDF Document Add to Reading List Source URL: formal.epfl.ch - Date: 2016-07-13 09:43:24
70	PDF Document Add to Reading List Source URL: formal.iti.kit.edu - Date: 2018-03-29 12:58:57