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) (30th : 2018 : Oxford, England)
1 2018 Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. CAV (Conference) (30th : 2018 : Oxford, England) Cham, Switzerland : Springer Open, 2018 Rating: Electronic Resources More...
2 2018 Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. CAV (Conference) (30th : 2018 : Oxford, England) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.