" FORMAL VERIFICATION OF THE IEEE FLOATING-POINT TYPE IN BOOGIE AND SMACK." Undergraduate Research Journal [Online], (2017): n. pag. Web. 21 Dec. 2024