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]
No references recorded for this publication.
No citations of this publication recorded.