Hesham A. Al-Twaijry, Stuart F. Oberman, Steve T. Fu, Michael J. Flynn. The SNAP Project: Building Validated Floating Point. J. UCS, 4(2):99-109, 1997.
@article{Al-TwaijryOFF97,
title = {The SNAP Project: Building Validated Floating Point},
author = {Hesham A. Al-Twaijry and Stuart F. Oberman and Steve T. Fu and Michael J. Flynn},
year = {1997},
researchr = {https://researchr.org/publication/Al-TwaijryOFF97},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {4},
number = {2},
pages = {99-109},
}