Proceedings
Year : 2017
Sylvie Boldo : Connect in order to contact the contributor
https://hal.inria.fr/hal-01662076
Submitted on : Tuesday, December 12, 2017-4:43:25 PM
Last modification on : Thursday, December 22, 2022-10:16:00 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
316
View
0
Download