The ICICS/CS Reading Room
UBC CS TR-90-35 Summary
- No on-line copy of this technical report is available.
- More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware, January 1990 Jeffrey J. Joyce
(Abstract not available on-line)
If you have any questions or comments regarding this page please send mail to