L
ei
Y
u
E-Mails 📧
ku
.
ca
.
mac
@
172yl
Entries
2013
A Formal Model of IEEE Floating Point Arithmetic
by
Lei Yu
📧
Jul 27