TY  - RPRT
TI  - How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
AU  - Bernhard Beckert
AU  - Sarah Grebing
AU  - Florian Böhl
PY  - 2014
DO  - 10.4204/eptcs.167.3
UR  - https://arxiv.org/abs/1410.8215
ID  - 1410.8215
ER  -