×
2013
Crowd-scale interactive formal reasoning and analytics.
[DOI]
Ethan Fast
,
Colleen Lee
,
Alex Aiken
,
Michael S. Bernstein
,
Daphne Koller
,
Eric Smith
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013