@article{861132,
      author = {Russinoff, David,},
      url = {http://library.usi.edu/record/861132},
      title = {Formal verification of floating-point hardware design : a  mathematical approach /},
      doi = {https://doi.org/10.1007/978-3-319-95513-1},
      recid = {861132},
      pages = {1 online resource (xxiv, 382 pages) :},
}