David J. Pearce. Some usability hypotheses for verification. In Thomas D. LaToza, Craig Anslow, Joshua Sunshine, editors, Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015. pages 57-60, ACM, 2015. [doi]
Abstract is missing.