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.