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

Bibliographic Item (1.0)

DickKrauseCozens90

  1. A J J Dick & P J Krause & J Cozens
  2. Computer Aided Transformations of Z into Prolog
  3. pp71-85 in Nicholls90
  4. =DEMO TOOL Z SPECIFICATION PROLOG PROTOTYPE
  5. prototype
  6. animation tool
  7. finds unintended non-determinism in Z 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]