Published in
Springer Verlag, Lecture Notes in Computer Science, p. 98-113
DOI: 10.1007/978-3-319-66107-0_7
Links
Tools
Formal Verification of a Floating-Point Expansion Renormalization Algorithm
Book chapter published in 2017 by
Sylvie Boldo,
Mioara Joldes,
Jean-Michel Muller 
,
Valentina Popescu
,
Valentina Popescu
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 