Formal methods applied to a floating-point number system
- 1 May 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (5), 611-621
- https://doi.org/10.1109/32.24710
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- The Specification StatementPublished by Springer Nature ,1988
- Specification statements and refinementIBM Journal of Research and Development, 1987
- A Simple but Realistic Model of Floating-Point ComputationACM Transactions on Mathematical Software, 1981