A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Sarah Grebing, and Florian Böhl
In:12th International Conference on Software Engineering and Formal Methods (SEFM 2014) – Collocated Workshops: Human-Oriented Formal Methods (HOFM 2014)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:8938
Year:2014
Pages:3-19
DOI:10.1007/978-3-319-15201-1_1

BibTeX

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