Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Martel, Matthieu,
1
E-book
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:

 
 
2
E-book
2010

Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings


International Static Analysis Symposium (17th : 2010 : Perpignan, France)
Berlin : Springer, 2010

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results