Toggle Main Menu Toggle Search

Open Access padlockePrints

Understanding the differences between VDM and Z

Lookup NU author(s): Professor Cliff Jones


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