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

DIMITROVA, Rayna, LAHAV, Ori und WOLFF, Sebastian (Hrsg.). [cd]. 2024. 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031505218.

Elsevier - Harvard (with titles)

Dimitrova, R., Lahav, O., Wolff, S. (Hrsg.), 2024. Verification, Model Checking, and Abstract Interpretation : 25 th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-031-50521-8

American Psychological Association 7th edition

Dimitrova, R., Lahav, O., … Wolff, S. (Hrsg.). (ca. 2024). Verification, Model Checking, and Abstract Interpretation : 25 th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II [Cd]. In Lecture Notes in Computer Science (1 st ed. 2024). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-50521-8

Springer - Basic (author-date)

Dimitrova R, Lahav O, Wolff S (Hrsg.) (2024) Verification, Model Checking, and Abstract Interpretation : 25 th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. Lecture Notes in Computer Science

Juristische Zitierweise (Stüber) (Deutsch)

Dimitrova, Rayna/ Lahav, Ori/ Wolff, Sebastian (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 25 th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II, Lecture Notes in Computer Science 2024, .

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