ISO-690 (author-date, English)

SHOHAM, Sharon und VIZEL, Yakir (Hrsg.). [cd]. 2022. Cham: Springer Nature. ISBN 9783031131851.

Elsevier - Harvard (with titles)

Shoham, S., Vizel, Y. (Hrsg.), 2022. Computer Aided Verification. Lecture Notes in Computer Science.

American Psychological Association 7th edition

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

Springer - Basic (author-date)

Shoham S, Vizel Y (Hrsg.) (2022) Computer Aided Verification. Lecture Notes in Computer Science

Juristische Zitierweise (Stüber) (Deutsch)

Shoham, Sharon/ Vizel, Yakir (Hrsg.), Computer Aided Verification, Lecture Notes in Computer Science 2022, .

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