Skip to Main content
Number of documents

1

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⟩