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

Bibliographic Item (1.0)

LanoBreuer90

  1. K Lano & P T Breuer
  2. From Programs to Z Specifications
  3. pp46-70 in Nicholls90
  4. =THEORY REVERSE ENGINEER CODE Z
      reverse engineering, prime operator, monads, anti-weakest precondition, relational composition, fixed point theory, normal form, all programs reducible to Z specification, UNIFORM, DFD loop semantics


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]