Developing a Toolkit for Floating-Point Hardware in the Nuprl Proof Development System
by Paul B. Jackson
Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, pp. 401-419, Elsevier, 1991.
Sorry, there are no downloadable files available for this document at this time.
