Link  Paper  bibtex   

@article{journals/corr/Mukherjee0GKM16,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Mukherjee, Rajdeep and Joshi, Saurabh and Griesmayer, Andreas and Kroening, Daniel and Melham, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2cf1f749d767bf92f96219cdb287af9a8/dblp},
  ee = {http://arxiv.org/abs/1609.00169},
  interhash = {0e223e70c20a36d59838b301cb6caa55},
  intrahash = {cf1f749d767bf92f96219cdb287af9a8},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T11:43:21.000+0200},
  title = {Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1609.html#Mukherjee0GKM16},
  volume = {abs/1609.00169},
  year = 2016
}