@phdthesis{Weiss2011,
  author       = {Benjamin Wei{\ss}},
  title        = {Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction},
  school       = {Karlsruhe Institute of Technology},
  year         = {2011}
}