Sarah Grebing (Karlsruhe Institute of Technology (KIT))

Identifiers

• name variant Sarah Grebing (Karlsruhe Institute of Technology (KIT)) 0.60 · backfill

Papers (1)

1. How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers cs.LO · 2014 · author #2

Mentions

• 1410.8215 #2 · backfill · confidence 0.70 Sarah Grebing (Karlsruhe Institute of Technology (KIT))

Frequent Coauthors

• Bernhard Beckert (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Florian B\"ohl (Karlsruhe Institute of Technology (KIT)) 1 shared papers