Applying cognitive dimensions to evaluate and improve the usability of Z formalism

Babak Khazaei, Emma Triffitt. Applying cognitive dimensions to evaluate and improve the usability of Z formalism. In SEKE. pages 571-577, 2002. [doi]

Abstract

Abstract is missing.