Skip to Main content
Number of documents


CV of Sylvie Boldo

Auto-magically brought to you by HAL.

Mioara Joldeş   

Conference papers1 document

  • Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Formal Verification of a Floating-Point Expansion Renormalization Algorithm. 8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil. ⟨hal-01512417⟩