APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.