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: ACM SIGSOFT Software Engineering Notes

Year: 1994

Volume: 19

Issue: 3

Pages: 75-81

Print publication date: 01/07/1994

ISSN (print): 0163-5948

Publisher: ACM Press


DOI: 10.1145/182824.182843


Altmetrics provided by Altmetric