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)
CAV (Conference) (27th : 2015 : San Francisco, Calif.)
1 2015 Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. CAV (Conference) (27th : 2015 : San Francisco, Calif.) Cham : Springer, 2015 Rating: Electronic Resources More...
2 2015 Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. CAV (Conference) (27th : 2015 : San Francisco, Calif.) Cham : Springer, 2015 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.