Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

Shoham S, Vizel Y (Hrsg.) (2022) Computer Aided Verification. Springer Nature, Cham

Juristische Zitierweise (Stüber) (Deutsch)

Shoham, Sharon/ Vizel, Yakir (Hrsg.), Computer Aided Verification, Cham 2022.

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