Floating-point verification (0)

by John Harrison
Venue:Journal of Universal Computer Science