*Result*: Computer aided verification

*Title*:
Computer aided verification : 15th international conference ; proceedings / CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 / Warren A. Hunt ; Fabio Somenzi (ed.)
*Author/editor-in-chief*:
Hunt, Warren A. (Herausgeber)
*Corporate*:
CAV (15 : 2003 : Boulder, Colo.)
*Publication*:
Berlin : Springer, 2003
*Physical description scale*:
XII, 462 Seiten : Diagramme ; 24 cm
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 2725
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540405240

*Additional information*

*Additional functions*