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

Bibliographic Item (1.0)

Hoare87

  1. C.A.R. Hoare
  2. An Overview of Some Formal Methods for Program Design
  3. IEEE Computer V20n9(Sep 1987)pp85-91
  4. =SURVEY METHODS FORMAL optimization

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]