Papers on Z


CSRG publications on Z:

Implementing visual Z
Chih Nam Yap (1993) (ps file)

A simple prototype Visual Z environment
Mike Holcombe, Chih Nam Yap (1993) (Abstract) (ps file)

Software Testing Strategies for Software Requirements and Design
Wachara Chantatub, Mike Holcombe (1994) (Abstract) (ps file)


This page was last modified on May 24 1996 by Chih Nam Yap.