Skip to Main content Skip to Navigation
Directions of work or proceedings

10th International Workshop on Numerical Software Verification

Alessandro Abate 1 Sylvie Boldo 2
1 University of Oxford [Oxford]
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01662076
Contributor : Sylvie Boldo Connect in order to contact the contributor
Submitted on : Tuesday, December 12, 2017 - 4:43:25 PM
Last modification on : Thursday, July 8, 2021 - 3:46:05 AM

Identifiers

  • HAL Id : hal-01662076, version 1

Collections

CNRS | INRIA | CENTRALESUPELEC | UMR8623 | LRI-VALS | GS-COMPUTER-SCIENCE

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data