Skip to Main content
Number of documents


CV of Sylvie Boldo

Auto-magically brought to you by HAL.

Claude Marché   

Journal articles1 document

  • Sylvie Boldo, Claude Marché. Formal verification of numerical programs: from C annotated programs to mechanical proofs. Mathematics in Computer Science, Springer, 2011, 5, pp.377-393. ⟨hal-00777605⟩

Poster communications1 document

  • Nguyen Thi Minh Tuyen, Sylvie Boldo, Claude Marché. Formal proofs of numerical programs. Forum Digitéo, Oct 2010, Palaiseau, France. ⟨inria-00536135⟩