Deductive Verification Of Object-oriented Software: Dynamic Frames, Dynamic Logic And Predicate Abstraction
by Benjamin Weiß /
2011 / English / PDF
13 MB Download