Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Cook, Byron.
1 2010 Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings CAV (Conference) (22nd : 2010 : Edinburgh, Scotland) Rating: Electronic Resources More...
2 2009 Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, Netherlands) Rating: Electronic Resources More...
3 2007 Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings VMCAI 2007 (2007 : Nice, France) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings