Cite Them Right 11th edition - Harvard

Enea, C. und Lal, A. (Hrsg.) (2023) Computer Aided Verification [cd], Lecture Notes in Computer Science. Cham: Springer Nature.

Chicago Manual of Style 17th edition (full note)

Enea, Constantin, und Akash Lal, Hrsg. Computer Aided Verification. Cd. Lecture Notes in Computer Science. Cham: Springer Nature, [2023?], Cham: Springer Nature, [2023?].

American Psychological Association 7th edition

Computer Aided Verification. (ca. 2023). [Cd]. In C. Enea & A. Lal (Hrsg.), Lecture Notes in Computer Science. Springer Nature.

Modern Language Association 9th edition

Enea, C., und A. Lal, Herausgeber. „Computer Aided Verification“. Lecture Notes in Computer Science, cd, Springer Nature, 2023.

ISO-690 (author-date, Deutsch)

ENEA, Constantin und Akash LAL (Hrsg.). Cham: Springer Nature. ISBN 9783031377037

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