• Formal Verification of Object-...

*Result*: Formal Verification of Object-Oriented Software

*Title*:
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
*Author/editor-in-chief*:
Beckert, Bernhard (Herausgeber); Damiani, Ferruccio (Herausgeber); Gurov, Dilian (Herausgeber)
*Edition*:
1st ed. 2012
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 251 Seiten) : 34 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 7421
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Verification of Object-Oriented Software. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642317613
*Subject Added Keywords*:
*ISBN*:
9783642317620 ; 3642317626 ; 978--364231761-3 (Sekundärausgabe) ; 978--364231763-7 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-31762-0

*Additional information*

*Additional functions*