Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) - Russinoff, David, 1948-
No abstract available