Evaluating the Usability of Interactive Verification Systems
Beckert, Bernhard
1; Grebing, Sarah
1 Karlsruher Institut für Technologie (KIT)
1; Grebing, Sarah1 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 | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000069629 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012. Ed.: V. Klebanov |
| Verlag | RWTH Aachen |
| Seiten | 3-17 |
| Serie | CEUR Workshop Proceedings ; 873 |
| Projektinformation | KASTEL I (BMBF, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Scopus |