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

Domains

Computer Science [cs] Computer Arithmetic Computer Science [cs] Numerical Analysis [cs.NA] Computer Science [cs] Logic in Computer Science [cs.LO]

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

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
316 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More