Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
- (view affiliations)
Conference proceedings NSV 2016
- 2.6k Downloads
The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.