Evaluating the Usability of Interactive Verification Systems.

Bernhard Beckert, Sarah Grebing

Browse the full CADE paper archive.