Caitlin Sadowski, Jaeheon Yi. User evaluation of correctness conditions: a case study of cooperability. In Emerson R. Murphy-Hill, Shane Markstrum, Craig Anslow, editors, Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU 2011, Reno, NV, USA, October 17-21, 2010. ACM, 2010. [doi]
Abstract is missing.