On the Organisation of Program Verification Competitions

Reviewed Paper In Proceedings

Author(s):Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan
In:1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)
Publisher:CEUR-WS.org
Series:CEUR Workshop Proceedings
Volume:873
Year:2012

BibTeX

@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},
  place     = {Manchester, UK},
  date      = {June 30},
  month     = jun
}