Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith. Crowd-scale interactive formal reasoning and analytics. In Shahram Izadi, Aaron J. Quigley, Ivan Poupyrev, Takeo Igarashi, editors, The 26th Annual ACM Symposium on User Interface Software and Technology, UIST'13, St. Andrews, United Kingdom, October 8-11, 2013. pages 363-372, ACM, 2013. [doi]
Abstract is missing.