2017 Jun 8. FORMAL VERIFICATION OF THE IEEE FLOATING-POINT TYPE IN BOOGIE AND SMACK. Undergraduate Research Journal. [Online] :