ISO-690 (author-date, English)

ENEA, Constantin und LAL, Akash (Hrsg.). [cd]. 2023. Cham: Springer Nature. ISBN 9783031377068.

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

Enea, Constantin/ Lal, Akash (Hrsg.), Computer Aided Verification, Lecture Notes in Computer Science 2023, .

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