Login / Signup

Crowd-scale interactive formal reasoning and analytics.

Ethan FastColleen LeeAlex AikenMichael S. BernsteinDaphne KollerEric Smith
Published in: UIST (2013)
Keyphrases