Numerical Software Verification - Bogomolov; Martel, Matthieu; Prabhakar, Pavithra (Springer International Publishing, 2017)