Languages
International Workshop on Numerical Software Verification (2016 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
International Workshop on Numerical Software Verification (2016 :); Bogomolov, Sergiy.; Martel, Matthieu.; Prabhakar, Pavithra.; SpringerLink (Online service)
(Electronic resources)