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

MaRDI QIDQ896457zbMATH OpenFDO

Authors

Publication date 9 December 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

(2)

• Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
• Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers

Describes a project that uses

Uses Software

• HOL Light

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)