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

Bibliographic Item (1.0)

Lamport86a

  1. Leslie Lamport
  2. Control Predicates are Better than Dummy Variables for Reasoning About Program Control
  3. Report 11 Systems Research Center Digital Equipment Corpn May 5th 1986
  4. =THEORY NONSEQUENTIAL FORMAL

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]