Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings (Q2364108)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings |
scientific article |
Statements
Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings (English)
0 references
17 July 2017
0 references
