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

by M Barratt
Venue:IEEE Transactions on Software Engineering