Proceedings
Year : 2017
Sylvie Boldo : Connect in order to contact the contributor
https://inria.hal.science/hal-01662076
Submitted on : Tuesday, December 12, 2017-4:43:25 PM
Last modification on : Tuesday, February 13, 2024-3:25:13 AM
Dates and versions
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⟩
Collections
337
View
0
Download