Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings | 978-3-642-14294-9 (3-642-14294-X) | 2010 | Tayssir Touili · Paul Jackson |
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering) | 978-3-642-04569-1 (3-642-04569-3) | 2010 | María Alpuente · Christophe Joubert |
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Notes in Computer Science , Band 4349) | 978-3-540-69735-0 (3-540-69735-7) | 2007 |
B. C · Bernie Cook · Braian Chik · Brian Case · Brian Casey · Brian Cassie · Brian Cauchi · Brian Causey · Brian Chess · Brian Chugg · Brian Cook · Brian Cooke · Brian Cox · Brian Czech · Briony Cooke · Bruno Chaix · Bruno Chiesa · Bruno Choc · Bruno Cocchi · Bruno Cozzi · Bruno Cuaz · Bruno Cucchi · Bruno Cuche · Bryan Chick · Bryan Cook · Bryan Cox · Byron Case · Byron Caughey