Formal Verification of a Theory of IEEE Rounding (2001)

by Christian Jacobi
Venue:TPHOLs 2001: Supplemental Proceedings, Informatics Research Report EDI-INF-RR-0046
Citations:6 - 1 self