BibTeX record phd/us/Figueroa00

download as .bib file

@phdthesis{DBLP:phd/us/Figueroa00,
  author       = {Samuel Figueroa},
  title        = {A Rigorous Framework for Fully Supporting the {IEEE} Standard for
                  Floating-Point Arithmetic in High-Level Programming Languages},
  school       = {New York University, {USA}},
  year         = {2000},
  url          = {https://cs.nyu.edu/media/publications/figueroa\_sam.pdf},
  timestamp    = {Fri, 13 May 2022 11:27:21 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Figueroa00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics