Toggle Main Menu Toggle Search

Open Access padlockePrints

Understanding the Differences Between VDM and Z

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

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

URL: http://dx.doi.org/10.1145/182824.182843

DOI: 10.1145/182824.182843


Altmetrics

Altmetrics provided by Altmetric


Share