10th International Workshop on Numerical Software Verification - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings Year : 2017
No file

Dates and versions

hal-01662076 , version 1 (12-12-2017)

Identifiers

  • HAL Id : hal-01662076 , version 1

Cite

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

Share

More