Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q509762)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers |
scientific article; zbMATH DE number 6687166
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers |
scientific article; zbMATH DE number 6687166 |
Statements
Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (English)
0 references
20 February 2017
0 references
0.9247364
0 references
0.91066945
0 references
0.8295727
0 references
0.8285071
0 references
0.8245575
0 references
0.8157811
0 references
0.80884784
0 references
0.8074769
0 references
