American Psychological Association 6th edition

Weiß, B. [ca. 2011]. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction [Cd]. [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing.

ISO-690 (author-date, English)

WEISS, Benjamin, 2011. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction. [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing. ISBN 9783866446236.

Modern Language Association 9th edition

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

Mohr Siebeck - Recht (Deutsch - Österreich)

Weiß, Benjamin: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction, [Erscheinungsort nicht ermittelbar] 2011.

Emerald - Harvard

Weiß, B. (2011), Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction, Bd. , KIT Scientific Publishing, [Erscheinungsort nicht ermittelbar].

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