(2017). FORMAL VERIFICATION OF THE IEEE FLOATING-POINT TYPE IN BOOGIE AND SMACK. Undergraduate Research Journal, . Retrieved from https://epubs.utah.edu/index.php/URJ/article/view/3901