KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-319-15201-1_1
Scopus
Zitationen: 5

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

Beckert, Bernhard; Grebing, Sarah; Böhl, Florian



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator ISBN: 978-331-91520-0-4
KITopen ID: 1000069630
HGF-Programm 46.12.03; LK 01
Erschienen in International Conference on Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS - Workshop on Human-Oriented Formal Methods (HOFM), Grenoble, France, September 1-2, 2014. Ed.: C. Canal
Verlag Springer, Berlin
Seiten 3-19
Serie Lecture notes in computer science (LNCS) ; 8938
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page