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 metadatas

https://hal.inria.fr/hal-01662076
Contributor : Sylvie Boldo <>
Submitted on : Tuesday, December 12, 2017 - 4:43:25 PM
Last modification on : Wednesday, September 16, 2020 - 5:26:31 PM

Identifiers

  • HAL Id : hal-01662076, version 1

Collections

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

Record views

377