Pages that link to "Item:Q332857"
From MaRDI portal
The following pages link to Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q332857):
Displaying 2 items.
- Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q509762) (← links)
- Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers (Q1686911) (← links)