Crowd-scale interactive formal reasoning and analytics

Open Webpage

Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith

Published: 2013, Last Modified: 19 Apr 2024UIST 2013EveryoneRevisionsBibTeXCC BY-SA 4.0