@inproceedings{conf/tap/AhnD10,
  added-at = {2010-07-21T16:04:25.000+0200},
  author = {Ahn, Ki Yung and Denney, Ewen},
  biburl = {http://www.bibsonomy.org/bibtex/29679c680524e6aabab81a0ce09700860/dblp},
  booktitle = {TAP},
  crossref = {conf/tap/2010},
  date = {2010-07-05},
  editor = {Fraser, Gordon and Gargantini, Angelo},
  ee = {http://dx.doi.org/10.1007/978-3-642-13977-2_4},
  interhash = {2468d2fc97e40436181c7ea861b2025a},
  intrahash = {9679c680524e6aabab81a0ce09700860},
  isbn = {978-3-642-13976-5},
  keywords = {dblp},
  pages = {22-37},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2010-07-21T16:04:25.000+0200},
  title = {Testing First-Order Logic Axioms in Program Verification.},
  url = {http://dblp.uni-trier.de/db/conf/tap/tap2010.html#AhnD10},
  volume = 6143,
  year = 2010
}