Login / Signup
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.
Bernhard Beckert
Sarah Grebing
Florian Böhl
Published in:
UITP (2014)
Keyphrases
</>
theorem prover
theorem proving
user experience
interface design
user interface design
usability evaluation
computer algebra systems
user satisfaction
automated reasoning
usability testing
usability problems
formal semantics
automated deduction