Experimental comparison of the comprehensibility of a Z specification and its implementation in Java

Colin F. Snook, Rachel Harrison. Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. Information \& Software Technology, 46(14):955-971, 2004. [doi]

Authors

Colin F. Snook

This author has not been identified. Look up 'Colin F. Snook' in Google

Rachel Harrison

This author has not been identified. Look up 'Rachel Harrison' in Google