L
ei
Y
u
E-Mails 📧
moc
.
liamg
@
3060ieluy
Entries
2013
A Formal Model of IEEE Floating Point Arithmetic
by
Lei Yu
📧
Jul 27