BibTeX record: conf/tphol/AydemirBFFPSVWWZ05

download as .bib file

@inproceedings{DBLP:conf/tphol/AydemirBFFPSVWWZ05,
  author    = {Brian E. Aydemir and
               Aaron Bohannon and
               Matthew Fairbairn and
               J. Nathan Foster and
               Benjamin C. Pierce and
               Peter Sewell and
               Dimitrios Vytiniotis and
               Geoffrey Washburn and
               Stephanie Weirich and
               Steve Zdancewic},
  title     = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
  booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
               TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  pages     = {50--65},
  year      = {2005},
  crossref  = {DBLP:conf/tphol/2005},
  url       = {http://dx.doi.org/10.1007/11541868_4},
  doi       = {10.1007/11541868_4},
  timestamp = {Thu, 15 Sep 2005 14:56:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tphol/AydemirBFFPSVWWZ05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tphol/2005,
  editor    = {Joe Hurd and
               Thomas F. Melham},
  title     = {Theorem Proving in Higher Order Logics, 18th International Conference,
               TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3603},
  publisher = {Springer},
  year      = {2005},
  isbn      = {3-540-28372-2},
  timestamp = {Thu, 15 Sep 2005 14:56:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tphol/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}