Toggle Main Menu Toggle Search

Open Access padlockePrints

Understanding the Differences Between VDM and Z

Lookup NU author(s): Professor Cliff JonesORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter)

Year: 1993

Volume: 1

Issue: 1

Pages: 7-30

Print publication date: 01/01/1993

ISSN (print): 1361-3103

Publisher: British Computer Society FACS