[CSUSB]>> [CNS]>> [Comp Sci Dept]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Hoare69

  1. C.A.R. Hoare
  2. An Axiomatic Basis for Computer Programming
  3. Commun ACM V12 n10 Oct 69
  4. =THEORY logic formal structures
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]