@inproceedings{UITP2014, author = {Bernhard Beckert and Sarah Grebing and Florian B\"ohl}, 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\"uller and Bruno {Woltzenlogel Paleo}}, series = {{EPTCS}}, year = {2014}, month = jul, pages = {4--13}, volume = {167}, place = {Vienna, Austria} }