On the Organisation of Program Verification Competitions

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Marieke Huisman, Vladimir Klebanov und Rosemary Monahan
In:1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)
Verleger:CEUR-WS.org
Reihe:CEUR Workshop Proceedings
Band:873
Jahr: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},
  venue     = {Manchester, UK},
  eventdate = {2012-06-30/2012-06-30},
  month     = jun
}