Using Nuprl for the Verification and Synthesis of Hardware, by Miriam Leeser

Using Nuprl for the Verification and Synthesis of Hardware

by Miriam Leeser

Philosophical Transactions Royal Society London, vol. 339, pp. 49-68, 1992.

Sorry, there are no downloadable files available for this document at this time.