KIT | KIT-Bibliothek | Impressum | Datenschutz

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

Beckert, Bernhard ORCID iD icon 1; Grebing, Sarah 1; Böhl, Florian 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-15201-1_1
Scopus
Zitationen: 15
Dimensions
Zitationen: 19
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-331-91520-0-4
KITopen-ID: 1000069630
HGF-Programm 46.12.03 (POF III, LK 01) Data Security
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 Verlag
Seiten 3-19
Serie Lecture notes in computer science (LNCS) ; 8938
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page