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 editionArie Gurfinkel, Vijay Ganesh, Arie Gurfinkel, & Vijay Ganesh. (2024). Computer Aided Verification.
Modern Language Association 9th editionArie 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.