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)
Farzan, Azadeh,
1 2016 Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. CAV (Conference) (28th : 2016 : Toronto, Ont.) Switzerland : Springer, 2016 Rating: Electronic Resources More...
2 2016 Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. CAV (Conference) (28th : 2016 : Toronto, Ont.) Switzerland : Springer, 2016 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.