Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - Abate, Alessandro; Boldo, Sylvie (Springer International Publishing : Imprint: Springer, 2017)