10th International Workshop on Numerical Software Verification

Alessandro Abate 1 Sylvie Boldo 2
1 University of Oxford [Oxford]
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Direction d'ouvrage, Proceedings, Dossier
10th International Workshop on Numerical Software Verification, France. Springer, 2017
Liste complète des métadonnées
https://hal.inria.fr/hal-01662076
Contributeur : Sylvie Boldo <>
Soumis le : mardi 12 décembre 2017 - 16:43:25
Dernière modification le : mardi 10 avril 2018 - 08:54:00

Identifiants

  • HAL Id : hal-01662076, version 1

Collections

INRIA | CENTRALESUPELEC | INRIA2017 | UMR8623 | LRI-VALS | UNIV-PARIS-SACLAY

Citation

Alessandro Abate, Sylvie Boldo. 10th International Workshop on Numerical Software Verification. 10th International Workshop on Numerical Software Verification, France. Springer, 2017. 〈hal-01662076〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

125

Contact


archive-ouverte@inria.fr