*Result*: Verification of object oriented software
*Title*:
Verification of object oriented software : the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino
*Author/editor-in-chief*:
*Publication*:
Berlin : Springer, 2007
*Physical description scale*:
XXIX, 658 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
AI systems
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
*show_all_volumes*
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
*show_all_volumes*
*Notes*:
Literaturangaben
*Subject Added Keywords*:
*ISBN*:
9783540689775 ; 354068977X