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