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