Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
scientific article; zbMATH DE number 6687166