BEYER, Dirk und ZUFFEREY, Damien (Hrsg.). [cd]. 2020. 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030393229.
Elsevier - Harvard (with titles)Beyer, D., Zufferey, D. (Hrsg.), 2020. Verification, Model Checking, and Abstract Interpretation : 21 st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-030-39322-9
American Psychological Association 7th editionBeyer, D., … Zufferey, D. (Hrsg.). (ca. 2020). Verification, Model Checking, and Abstract Interpretation : 21 st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-39322-9
Springer - Basic (author-date)Beyer D, Zufferey D (Hrsg.) (2020) Verification, Model Checking, and Abstract Interpretation : 21 st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Beyer, Dirk/ Zufferey, Damien (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 21 st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings, Theoretical Computer Science and General Issues 2020, .