Byron Cook
Identifiers
- Open LibraryOL10231651A
Books by Byron Cook
Total count: 3
-
Verification, Model Checking, and Abstract Interpretation8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Formal Methods for Industrial Critical Systems14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Computer Aided Verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, ProceedingsSpringer London, Limited2010-01-01