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

Bibliographic Item (1.0)

Malik11

  1. Petra Malik
  2. A retrospective on CZT
  3. Software & Experience 41(2): 179-188, 2011.
  4. =EXPERIENCE F/OSS OPEN SOURCE TOOL FORMAL Z Requirements specification verification tools LOGIC Set Theory UNICODE XML Circus
  5. Community Z Tools on SourceForge. See [ Community_Z_Tools ] on the Wikipedia.

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]