"Numerical Software Verification - 9th International Workshop, NSV 2016, ..."

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics