BibTeX record conf/cade/SutcliffeCDMS10

download as .bib file

@inproceedings{DBLP:conf/cade/SutcliffeCDMS10,
  author    = {Geoff Sutcliffe and
               Cynthia Chang and
               Li Ding and
               Deborah L. McGuinness and
               Paulo Pinheiro da Silva},
  title     = {Different Proofs are Good Proofs},
  booktitle = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for
               Solutions, {EMSQMS} 2010, Edinburgh, UK, July 20, 2010},
  pages     = {42--51},
  year      = {2010},
  crossref  = {DBLP:conf/cade/2010emsqms},
  url       = {http://www.easychair.org/publications/paper/52225},
  timestamp = {Sun, 12 Nov 2017 18:25:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/SutcliffeCDMS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010emsqms,
  editor    = {Aaron Stump and
               Geoff Sutcliffe and
               Cesare Tinelli},
  title     = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for
               Solutions, {EMSQMS} 2010, Edinburgh, UK, July 20, 2010},
  series    = {EPiC Series in Computing},
  volume    = {6},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=249381807},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2010emsqms},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier