Result: Computer aided verification

*Title*:

Computer aided verification : 19th international conference ; proceedings / CAV 2007, Berlin, Germany, July 3 - 7, 2007. Werner Damm ... (ed.)

*Author/editor-in-chief*:

Damm, Werner

*Corporate*:

*Publication*:

Berlin : Springer, 2007

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 4590
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783540733676

*DOI*:

10.1007/978-3-540-73368-3

*Result*: Computer aided verification