Samuel Figueroa. A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages. PhD thesis, New York University, USA, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.