Result: Verification of Object-Oriented Software. The KeY Approach
Title:
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Involved:
Edition:
1st ed. 2007
Published:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Distribution:
Cham : Springer International Publishing AG
Scope:
1 Online-Ressource (XXIX, 658 Seiten)
Format:
Language:
English
Series/ Mutipart item:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4334
Other editions:
Erscheint auch als Druck-Ausgabe: Verification of Object-Oriented Software. The KeY Approach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540689775
Subject Added Keywords:
ISBN:
9783540690610 ; 3540690611 ; 9783540689775 (Sekundärausgabe) ; 9783540834335 (Sekundärausgabe)
DOI:
10.1007/978-3-540-69061-0