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.