Numerical Software Verification

Bogomolov S, Martel M, Prabhakar P eds. 2017. Numerical Software Verification, Springer,p.

Download
No fulltext has been uploaded. References only!

Conference (Editor) | Published | English
Editor
Bogomolov, SergiyISTA ; Martel, Matthieu; Prabhakar, Pavithra
Department
Abstract
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. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Publishing Year
Date Published
2017-01-01
Volume
10152
Conference
NSV: Numerical Software Verification
Conference Location
Toronto, ON, Canada
Conference Date
2016-07-17 – 2016-07-18
ISSN
IST-REx-ID
638

Cite this

Bogomolov S, Martel M, Prabhakar P, eds. Numerical Software Verification. Vol 10152. Springer; 2017. doi:10.1007/978-3-319-54292-8
Bogomolov, S., Martel, M., & Prabhakar, P. (Eds.). (2017). Numerical Software Verification (Vol. 10152). Presented at the NSV: Numerical Software Verification, Toronto, ON, Canada: Springer. https://doi.org/10.1007/978-3-319-54292-8
Bogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. Numerical Software Verification. Vol. 10152. LNCS. Springer, 2017. https://doi.org/10.1007/978-3-319-54292-8.
S. Bogomolov, M. Martel, and P. Prabhakar, Eds., Numerical Software Verification, vol. 10152. Springer, 2017.
Bogomolov S, Martel M, Prabhakar P eds. 2017. Numerical Software Verification, Springer,p.
Bogomolov, Sergiy, et al., editors. Numerical Software Verification. Vol. 10152, Springer, 2017, doi:10.1007/978-3-319-54292-8.

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar