Toggle Main Menu Toggle Search

Open Access padlockePrints

Understanding the differences between VDM and Z

Lookup NU author(s): Professor Cliff Jones

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: FACS FACTS

Year: 2006

Volume: 2

Pages: 56-78

Publisher: BCS


Share