English
Boldo, Sylvie
Auteur
Inria Saclay-Ile de France Laboratoire de Recherche en Informatique Université Paris-Sud, CNRS
ORCID :
ISNI : 0000 0003 5230 4340 idRef :
Viaf :
ZBMATH : Author profile zbMath
Documents (Auteurs)
-
[Multi angle]
Arithmétique à virgule flottante : plaie ou terrain de jeu ?
/ Auteur de la Conférence Boldo, Sylvie.
-Marseille : CIRM
-
[Multi angle]
Formal verification of numerical analysis programs
/ Auteur de la Conférence Boldo, Sylvie.
-Marseille : CIRM
