Result: Computer aided verification

*Title*:

Computer aided verification : 5th international conference ; proceedings / CAV '93 Elounda, Greece, June 28 - July 1, 1993. Costas Courcoubetis, ed.

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 1993

*Physical description scale*:

IX, 504 S

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 697
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540569227

*Result*: Computer aided verification