[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Ian Hayes<Ian.Hayes@cs.uq.oz.au> & Cliff B Jones<cbj@cs.man.ac.uk> & J E Nichols
- Understanding the Differences between VDM and Z
- ACM SIGSOFT Software Engineering Notes V19n3(Jul 1994)pp75-81
- =HISTORY FORMAL METHODS Z vs VDM
Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]