Electronic Notes in Theoretical Computer Science, Volume 317

Volume 317, November 2015

The Seventh and Eighth International Workshops on Numerical Software Verification (NSV)
a service of Schloss Dagstuhl - Leibniz Center for Informatics