Numerical software verification: 9th international workshop, nsv 2016, toronto, on, canada, july 17-18, 2016, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319542911
Date de publication :
17 févr. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.