Toggle Main Menu Toggle Search

ePrints

Understanding the differences between VDM and Z

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Hayes IJ, Jones CB, Nicholls JE

Publication type: Report

Publication status: Published

Series Title:

Year: 1993

Print publication date: 01/01/1993

Source Publication Date: 1993

Report Number: UMCS-93-8-1

Institution: Manchester University

Place Published: Manchester


Share