@inproceedings{conf/arith/GuralnikBKK09,
  added-at = {2010-01-06T00:00:00.000+0100},
  author = {Guralnik, Elena and Birnbaum, Ariel J. and Koyfman, Anatoly and Kaplan, Avi},
  biburl = {http://www.bibsonomy.org/bibtex/242efc7a210f49a1b9818d5f97a3696b4/dblp},
  booktitle = {IEEE Symposium on Computer Arithmetic},
  crossref = {conf/arith/2009},
  date = {2010-01-06},
  description = {dblp},
  editor = {Bruguera, Javier D. and Cornea, Marius and Sarma, Debjit Das and Harrison, John},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ARITH.2009.24},
  interhash = {d4425a9a9b055343fd44b50c9f148c3f},
  intrahash = {42efc7a210f49a1b9818d5f97a3696b4},
  isbn = {978-0-7695-3670-5},
  keywords = {dblp},
  pages = {114-121},
  publisher = {IEEE Computer Society},
  timestamp = {2010-01-06T00:00:00.000+0100},
  title = {Implementation Specific Verification of Divide and Square Root Instructions.},
  url = {http://dblp.uni-trier.de/db/conf/arith/arith2009.html#GuralnikBKK09},
  year = 2009
}