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]
@inproceedings{FastLABKS13,
title = {Crowd-scale interactive formal reasoning and analytics},
author = {Ethan Fast and Colleen Lee and Alex Aiken and Michael S. Bernstein and Daphne Koller and Eric Smith},
year = {2013},
doi = {10.1145/2501988.2502028},
url = {http://doi.acm.org/10.1145/2501988.2502028},
researchr = {https://researchr.org/publication/FastLABKS13},
cites = {0},
citedby = {0},
pages = {363-372},
booktitle = {The 26th Annual ACM Symposium on User Interface Software and Technology, UIST'13, St. Andrews, United Kingdom, October 8-11, 2013},
editor = {Shahram Izadi and Aaron J. Quigley and Ivan Poupyrev and Takeo Igarashi},
publisher = {ACM},
isbn = {978-1-4503-2268-3},
}