CITATION STYLE
Russinoff, D. M. (2019). Double-Precision Addition and FMA. In Formal Verification of Floating-Point Hardware Design (pp. 279–307). Springer International Publishing. https://doi.org/10.1007/978-3-319-95513-1_17
Mendeley helps you to discover research relevant for your work.