Cite Them Right 11th edition - Harvard

Hana Chockler, Georg Weissenbacher, Hana Chockler und Georg Weissenbacher (2018) Computer Aided Verification.

Chicago Manual of Style 17th edition (full note)

Hana Chockler, Georg Weissenbacher, Hana Chockler, und Georg Weissenbacher. Computer Aided Verification.

American Psychological Association 7th edition

Hana Chockler, Georg Weissenbacher, Hana Chockler, & Georg Weissenbacher. (2018). Computer Aided Verification.

Modern Language Association 9th edition

Hana Chockler, Georg Weissenbacher, Hana Chockler, und Georg Weissenbacher. Computer Aided Verification. 2018.

ISO-690 (author-date, Deutsch)

HANA CHOCKLER, GEORG WEISSENBACHER, HANA CHOCKLER und GEORG WEISSENBACHER, 2018. Computer Aided Verification

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