10th International Workshop on Numerical Software Verification - Archive ouverte HAL Access content directly
Proceedings Year : 2017

10th International Workshop on Numerical Software Verification

(1) , (2)
1
2
Not 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⟩
316 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More