Cite Them Right 11th edition - Harvard

Arie Gurfinkel, Vijay Ganesh, Arie Gurfinkel und Vijay Ganesh (2024) Computer Aided Verification.

Chicago Manual of Style 17th edition (full note)

Arie Gurfinkel, Vijay Ganesh, Arie Gurfinkel, und Vijay Ganesh. Computer Aided Verification.

American Psychological Association 7th edition

Arie Gurfinkel, Vijay Ganesh, Arie Gurfinkel, & Vijay Ganesh. (2024). Computer Aided Verification.

Modern Language Association 9th edition

Arie Gurfinkel, Vijay Ganesh, Arie Gurfinkel, und Vijay Ganesh. Computer Aided Verification. 2024.

ISO-690 (author-date, Deutsch)

ARIE GURFINKEL, VIJAY GANESH, ARIE GURFINKEL und VIJAY GANESH, 2024. Computer Aided Verification

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