Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra (Springer International Publishing : Imprint: Springer, 2017)