Cite Them Right 11th edition - Harvard

Weiß, B. (2011) Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction [cd]. Print on demand. KIT Scientific Publishing.

Chicago Manual of Style 17th edition (full note)

Weiß, Benjamin. „Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction“. Cd. KIT Scientific Publishing, [2011?], KIT Scientific Publishing, [2011?].

American Psychological Association 7th edition

Weiß, B. (ca. 2011). Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction (Print on demand) [Cd]. KIT Scientific Publishing.

Modern Language Association 9th edition

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

ISO-690 (author-date, Deutsch)

WEISS, Benjamin, 2011. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction. Karlsruhe: KIT Scientific Publishing

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.