Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Name: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Author: Benjamin Weiß