Numerical Software Verification - Abate; Boldo, Sylvie (Springer International Publishing, 2017)