Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Martel, Matthieu,
1 2017 Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers NSV (Workshop) (9th : 2016 : Toronto, Ont.) Cham, Switzerland : Springer, 2017 Rating: Electronic Resources
2 2010 Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings International Static Analysis Symposium (17th : 2010 : Perpignan, France) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers