APA (7th ed.) Citation

(2011). Deductive verification of object-oriented software: Dynamic frames, dynamic logic and predicate abstraction.

Chicago Style (17th ed.) Citation

Deductive Verification of Object-oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction. 2011.

MLA (8th ed.) Citation

Deductive Verification of Object-oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction. 2011.

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