A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

@InProceedings{HOFM2014raey,
  title                    = {A Usability Evaluation of Interactive Theorem Provers Using Focus Groups},
  author                   = {Bernhard Beckert and Sarah Grebing and Florian B\"ohl},
  editor                   = {Carlos Canal and Akram Idani},
  booktitle                = {12th International Conference on Software Engineering and Formal Methods
			      ({SEFM} 2014) -- Collocated Workshops: Human-Oriented Formal Methods ({HOFM} 2014)},
  publisher                = {Springer},
  year                     = {2014},
  series                   = {Lecture Notes in Computer Science},
  volume                   = {8938},
  pages                    = {3--19},
  doi                      = {10.1007/978-3-319-15201-1_1},
  month                    = sep,
  venue                    = {Grenoble, France},
  eventdate                = {2014-09-01/2014-09-02}
}