*Result*: Verification, Model Checking, and Abstract Interpretation

*Title*:
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings / edited by Byron Cook, Andreas Podelski
*Author/editor-in-chief*:
Cook, Byron (Herausgeber); Podelski, Andreas (Herausgeber)
*Edition*:
1st ed. 2007
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XI, 395 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4349
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540697350
*Subject Added Keywords*:
*ISBN*:
9783540697381 ; 3540697381 ; 978--354069735-0 (Sekundärausgabe) ; 978--354083482-3 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-69738-1

*Additional information*

*Additional functions*