BibTeX record conf/arith/BrainTRW15

download as .bib file

@inproceedings{DBLP:conf/arith/BrainTRW15,
  author    = {Martin Brain and
               Cesare Tinelli and
               Philipp R{\"{u}}mmer and
               Thomas Wahl},
  title     = {An Automatable Formal Semantics for {IEEE-754} Floating-Point Arithmetic},
  booktitle = {{ARITH}},
  pages     = {160--167},
  publisher = {{IEEE}},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics