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
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
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

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles