User evaluation of correctness conditions: a case study of cooperability

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]

@inproceedings{SadowskiY10,
  title = {User evaluation of correctness conditions: a case study of cooperability},
  author = {Caitlin Sadowski and Jaeheon Yi},
  year = {2010},
  doi = {10.1145/1937117.1937119},
  url = {https://doi.org/10.1145/1937117.1937119},
  researchr = {https://researchr.org/publication/SadowskiY10},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  editor = {Emerson R. Murphy-Hill and Shane Markstrum and Craig Anslow},
  publisher = {ACM},
  isbn = {978-1-4503-0547-1},
}