Floating-point verification using theorem proving (2006)

by John Harrison
Venue:of Lecture Notes in Computer Science