Result: Computer aided verification

*Title*:

Computer aided verification : 6th international workshop ; proceedings / CAV '94, Stanford, California, USA, June 21 - 23, 1994. David L. Dill (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 1994

*Physical description scale*:

IX, 480 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 818
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540581790 ; 0387581790

*Result*: Computer aided verification