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

Bibliographic Item (1.0)

Terwilliger93b
  1. Robert W Terwilliger <terwilli@cs.colorado.edu>
  2. An Example of Process Verification: the Gries/Dijkstra Design Process
  3. ACM SIGSOFT Software Engineering Notes V18n3(Jul 1993)ppA26-35
  4. =CASE-STUDY V&V CORRECTNESS FORMAL LOGIC DESIGN PROOF

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]