ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

Enea C, Lal A (Hrsg.) (2023) Computer Aided Verification. Springer Nature, Cham

Juristische Zitierweise (Stüber) (Deutsch)

Enea, Constantin/ Lal, Akash (Hrsg.), Computer Aided Verification, Cham 2023.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.