Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Evaluating the Usability of Interactive Verification Systems

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Sarah Grebing
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
Pages:3-17
Preprint/PDF:compare2012.pdf
URL:http://ceur-ws.org/Vol-873

BibTeX

@inproceedings{compare2012,
  author    = {Bernhard Beckert and Sarah Grebing},
  title     = {Evaluating the Usability of Interactive Verification Systems},
  booktitle = {1st International Workshop on Comparative Empirical
               Evaluation of Reasoning Systems ({COMPARE} 2012)},
  editor    = {Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff
               Sutcliffe},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {873},
  pages     = {3--17},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873},
  month     = jun,
  venue     = {Manchester, {UK}},
  eventdate = {2012-06-30/2012-06-30}
}