Skip to main content
PRL Project

Developing a Toolkit for Floating-Point Hardware in the Nuprl Proof Development System

by Paul B. Jackson
1991

Proceedings of Advanced Research Workshop on Correct Hardware Design Methodologies

bibTex ref: Jac91


cite link