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

Babak Khazaei, Emma Triffitt

Browse the full SEKE paper archive.