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

Bibliographic Item (1.0)

  1. Fujio Nishida & Shinobu Takamatsu & Yoncharu Fujita & Tadaaki Tani
  2. Semi-Automatic Program Construction Using Library Modules
  3. IEEE Trans SE-17 n9 (Sep 1991)pp853-871 CR9302-0087
  4. =THEORY re-use logic natural PURPOSE MAPS ≡ MATHS
  5. refinement := unification and proof by refutation of horn clauses of structured specification with problem parts
  6. library with specifications.

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]