[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Sheppard95

  1. D.Sheppard
  2. An introduction to formal specification with Z and VDM
  3. McGraw Hill International Series in Software Engineering 1995
  4. =TEXT Z VDM SPECIFICATION

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]