. FORMAL VERIFICATION OF THE IEEE FLOATING-POINT TYPE IN BOOGIE AND SMACK. Undergraduate Research Journal, [S.l.], june 2017. Available at: <https://epubs.utah.edu/index.php/URJ/article/view/3901>. Date accessed: 21 dec. 2024.