*Result*: Deductive verification of object-oriented software
*Title*:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
*Author/editor-in-chief*:
*Publication*:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011
*Distribution*:
The Hague : OAPEN FOUNDATION
*Physical description scale*:
1 Online-Ressource (xxi, 269 p. p.)
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
9783866446236
*oa_rights*:
Open Access