Florian B\"ohl (Karlsruhe Institute of Technology (KIT))

Identifiers

• name variant Florian B\"ohl (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 #3

Mentions

• 1410.8215 #3 · backfill · confidence 0.70 Florian B\"ohl (Karlsruhe Institute of Technology (KIT))

Frequent Coauthors

• Bernhard Beckert (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Sarah Grebing (Karlsruhe Institute of Technology (KIT)) 1 shared papers