[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- William D Young
- Comparing Varification Systems: Interactive Consistency in ACL2
- IEEE Trans Softw Eng VSE23n4(Apr 1997)pp214-223
- =DEMO PROOF LOGIC LISP
- advantages of no types and LISP-like notation vs
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]