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

MLA

Weiß, Benjamin. Deductive Verification of Object-oriented Software : Dynamic Frames, Dynamic Logic and Predicate Abstraction. KIT Scientific Publishing, .

APA

Weiß, B. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction. KIT Scientific Publishing.

Chicago

Weiß, Benjamin Deductive Verification of Object-Oriented Software : Dynamic Frames, Dynamic Logic and Predicate Abstraction. : KIT Scientific Publishing.