Formal methods applied to a �oating�point number system (1989)

by Geo� Barrett
Venue:IEEE Transactions on Software Engineering