Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Kroening, Daniel,
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...
3 2008 Decision procedures : an algorithmic point of view Kroening, Daniel Rating: Electronic Resources More...
4 2016 Decision procedures : an algorithmic point of view Kroening, Daniel, author. Second edition Berlin, Germany : Springer, 2016 Rating: Electronic Resources More...
5 2015 Validation of evolving software Cham : Springer, 2015 Rating: Electronic Resources More...
6 2014 Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers VSTTE (Conference) (6th : 2014 : Vienna, Austria) Cham : Springer, 2014 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.