Byron Cook
2 published titles
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings
(Contributor)
1 edition
- ISBN: 9783540697350
- Springer
- 2007
- Details
Formal methods for industrial critical systems
(Contributor)
1 edition
- ISBN: 9783642045691
- Springer
- 2009
- Details