Numerical Software Verification - Alessandro Abate; Sylvie Boldo (Springer, 2017)
Keywords: Computer Science; Computer Science Logic and Foundations of Programming