Floating-point verification (1995)

by John Harrison
Venue:International Journal Of Man-Machine Studies
Citations:9 - 0 self