Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 1
- 1
- 1
- 1
|
Formal verification of numerical programs: from C annotated programs to mechanical proofsMathematics in Computer Science, 2011, 5, pp.377-393
Article dans une revue
hal-00777605v1
|
|
Formal proofs of numerical programsForum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence
inria-00536135v1
|