Pages that link to "Item:Q1682301"
From MaRDI portal
The following pages link to Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016 (Q1682301):
Displaying 3 items.
- Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q509762) (← links)
- Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014 (Q2018836) (← links)
- Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010 (Q2440899) (← links)