How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
Beckert, B.
1; Grebing, S. 1; Böhl, F. 1
1 Karlsruher Institut für Technologie (KIT)
1; Grebing, S. 1; Böhl, F. 11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISSN: 2075-2180 KITopen-ID: 1000045620 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | Electronic proceedings in theoretical computer science |
| Verlag | Open Publishing Association |
| Band | 167 |
| Seiten | 4-13 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Dimensions Scopus OpenAlex |