BibTeX record journals/toplas/GangeNSSS14

download as .bib file

@article{DBLP:journals/toplas/GangeNSSS14,
  author       = {Graeme Gange and
                  Jorge A. Navas and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  title        = {Interval Analysis and Machine Arithmetic: Why Signedness Ignorance
                  Is Bliss},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {1:1--1:35},
  year         = {2014},
  url          = {https://doi.org/10.1145/2651360},
  doi          = {10.1145/2651360},
  timestamp    = {Wed, 14 Nov 2018 10:30:40 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GangeNSSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics