%0 Generic %E Bogomolov, Sergiy. %E Martel, Matthieu. %E Prabhakar, Pavithra. %@ 9783319542928 %T Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-319-54292-8