Technical Reports

The ICICS/CS Reading Room


UBC CS TR-90-35 Summary

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 help@cs.ubc.ca.