Skip to Main content
Number of documents

2

CV of Sylvie Boldo


Auto-magically brought to you by HAL.


Jacques-Henri Jourdan   

Journal articles1 document

Conference papers1 document

  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115. ⟨hal-00743090v2⟩