BibTeX record conf/tphol/AydemirBFFPSVWWZ05

• > Home > conf/tphol/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},
  editor       = {Joe Hurd and
                  Thomas F. Melham},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3603},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11541868\_4},
  doi          = {10.1007/11541868\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AydemirBFFPSVWWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}