AydemirBFFPSVWWZ05'

@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 = {TPHOLs},
  year      = {2005},
  pages     = {50-65},
  ee        = {http://dx.doi.org/10.1007/11541868_4},
  crossref  = {DBLP:conf/tphol/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3603},
  year      = {2005},
  isbn      = {3-540-28372-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}