Floating-point verification (1995)

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