Geoff Barrett. A formal approach to rounding. In Mary Jane Irwin, Renato Stefanelli, editors, 8th IEEE Symposium on Computer Arithmetic, ARITH 1987, Como, Italy, May 18-21, 1987. pages 247-254, IEEE, 1987. [doi]
No references recorded for this publication.
No citations of this publication recorded.