Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction - Weiß, Benjamin (Verfasser) (KIT Scientific Publishing, 2011)