Cite Them Right 11th edition - Harvard

Shoham, S. und Vizel, Y. (Hrsg.) (2022) Computer Aided Verification [cd], Lecture Notes in Computer Science. Cham: Springer Nature.

Chicago Manual of Style 17th edition (full note)

Shoham, Sharon, und Yakir Vizel, Hrsg. Computer Aided Verification. Cd. Lecture Notes in Computer Science. Cham: Springer Nature, [2022?], Cham: Springer Nature, [2022?].

American Psychological Association 7th edition

Computer Aided Verification. (ca. 2022). [Cd]. In S. Shoham & Y. Vizel (Hrsg.), Lecture Notes in Computer Science. Springer Nature.

Modern Language Association 9th edition

Shoham, S., und Y. Vizel, Herausgeber. „Computer Aided Verification“. Lecture Notes in Computer Science, cd, Springer Nature, 2022.

ISO-690 (author-date, Deutsch)

SHOHAM, Sharon und Yakir VIZEL (Hrsg.). Cham: Springer Nature. ISBN 9783031131882

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