How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers

@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}
}