Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

Enea, Constantin, and Akash Lal, eds. 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 (eds.), Lecture Notes in Computer Science. Springer Nature.

Modern Language Association 9th edition

Enea, C., and A. Lal, editors. “Computer Aided Verification”. Lecture Notes in Computer Science, cd, Springer Nature, 2023.

ISO-690 (author-date, Deutsch)

ENEA, Constantin and Akash LAL (Hrsg.). Cham: Springer Nature. ISBN 9783031377068

Warning: These citations may not always be 100% accurate.