*Result*: Deductive verification of object-oriented software
*Title*:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction / by Benjamin Weiß
*Author/editor-in-chief*:
*Edition*:
Print on demand
*Publication*:
Karlsruhe : KIT Scientific Publishing, 2011
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*Notes*:
Auch als gedr. Ausg. vorhanden
*Subject Added Keywords*:
*ISBN*:
9783866446236