BibTeX record conf/cade/HuismanKM12

download as .bib file

@inproceedings{DBLP:conf/cade/HuismanKM12,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  title     = {On the Organisation of Program Verification Competitions},
  booktitle = {{COMPARE}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {873},
  pages     = {50--59},
  publisher = {CEUR-WS.org},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics