Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
type: Item
instance of: scholarly article
title: Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
zbMATH Open document ID: 1358.68009
DOI: 10.1007/978-3-319-54292-8
published in: Lecture Notes in Computer Science
publication date: 2017-02-20T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 65-06
Mathematics Subject Classification ID: 93-06
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6687166
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-54292-8
OpenAlex ID: W2588861117
Recommended article: Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings
Recommended article: 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
Recommended article: Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
Recommended article: Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II
Recommended article: Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part I
Recommended article: Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
Recommended article: Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
Recommended article: Numerical Software with Result Verification
description: scientific article; zbMATH DE number 6687166