Claude Marché
3
Documents
Affiliations actuelles
Publications
- 3
- 1
- 2
- 1
|
Hardware-Dependent Proofs of Numerical ProgramsCertified Programs and Proofs, Dec 2011, Kenting, Taiwan
Communication dans un congrès
hal-00772508v1
|
|
Formal proofs of numerical programsForum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence
inria-00536135v1
|
|
Proving Floating-Point Numerical Programs by Analysis of their Assembly Code[Research Report] RR-7655, INRIA. 2011, pp.61
Rapport
inria-00602266v1
|