m-charts and Z: extending the translation

G.R. Reeve and S.V. Reeves

2000

Working Paper No. 00/11


Working Papers Series, ISSN: 1170-487X

Contact: working-papers@cs.waikato.ac.nz

Department of Computer Science, University of Waikato, Hamilton, New Zealand.

a Greenstone Digital Library