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.

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

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

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.