Formal methods applied to a floating-point number system (1989)

by G Barrett
Venue:IEEE Transactions on Software Engineering