Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
DOI10.1007/978-3-319-54292-8zbMATH Open1358.68009OpenAlexW2588861117MaRDI QIDQ509762FDOQ509762
Authors:
Publication date: 20 February 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-54292-8
Recommendations
- Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings
- 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
- Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
- Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II
- Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part I
- Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
- Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
- Numerical Software with Result Verification
Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)
Cited In (1)
This page was built for publication: Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509762)
