Bernhard Beckert, Sarah Grebing. Evaluating the Usability of Interactive Verification Systems. In Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe, editors, Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. Volume 873 of CEUR Workshop Proceedings, pages 3-17, CEUR-WS.org, 2012. [doi]
@inproceedings{BeckertG12,
title = {Evaluating the Usability of Interactive Verification Systems},
author = {Bernhard Beckert and Sarah Grebing},
year = {2012},
url = {http://ceur-ws.org/Vol-873/papers/paper_4.pdf},
tags = {KeyMaera},
researchr = {https://researchr.org/publication/BeckertG12},
cites = {0},
citedby = {0},
pages = {3-17},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012},
editor = {Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe},
volume = {873},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}