Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.