[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Fujio Nishida & Shinobu Takamatsu & Yoncharu Fujita & Tadaaki Tani
- Semi-Automatic Program Construction Using Library Modules
- IEEE Trans SE-17 n9 (Sep 1991)pp853-871 CR9302-0087
- =THEORY re-use logic natural PURPOSE MAPS ≡ MATHS
- refinement := unification and proof by refutation of horn clauses of structured specification with problem parts
- library with specifications.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]