@inproceedings{UITP2014,
author = {Bernhard Beckert and Sarah Grebing and Florian B{\"o}hl},
title = {How to Put Usability into Focus: {U}sing Focus Groups to Evaluate the Usability of
Interactive Theorem Provers},
booktitle = {Eleventh Workshop on User Interfaces for Theorem Provers ({UITP} 2014)},
editor = {Christoph Benzm{\"u}ller and Bruno {Woltzenlogel Paleo}},
series = {{EPTCS}},
year = {2014},
month = jul,
pages = {4--13},
volume = {167},
venue = {Vienna, Austria}
}
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
| Author(s): | Bernhard Beckert, Sarah Grebing, and Florian Böhl |
|---|---|
| In: | Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014) |
| Series: | EPTCS |
| Volume: | 167 |
| Year: | 2014 |
| Pages: | 4-13 |