- 2
Sylvie Boldo
2
Documents
Identifiants chercheurs
- sboldo
- 0000-0002-1970-3019
- IdRef : 112505821
Présentation
Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.
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
|