Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17--18, 2014 and April 13, 2015

Author name not available (Why is that?)

Publication date: 9 December 2015

Published in: (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/317

No records found.

This page was built for publication: Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17--18, 2014 and April 13, 2015

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896457)