A Study of Usability of Z Formalism Based on Cognitive Dimensions (2002)

by Emma Triffitt, Babak Khazaei
Venue:Proceedings of the 14 th Annual Meeting of the Psychology of Programming Interest Group (PPIG