On the Organisation of Program Verification Competitions

@inproceedings{HuismanKM12,
  author    = {Marieke Huisman and Vladimir Klebanov and Rosemary Monahan},
  title     = {On the Organisation of Program Verification Competitions},
  editor    = {Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe},
  booktitle = {1st International Workshop on Comparative Empirical Evaluation
               of Reasoning Systems (COMPARE 2012)},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {873},
  year      = {2012},
  venue     = {Manchester, UK},
  eventdate = {2012-06-30/2012-06-30},
  month     = jun
}