- 1
Sylvie Boldo
1
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Formal Verification of a Floating-Point Expansion Renormalization Algorithm8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil
Communication dans un congrès
hal-01512417v1
|