D’SOUZA, Deepak, LAL, Akash und LARSEN, Kim Guldstrand (Hrsg.). [cd]. 2015. 1 st ed. 2015. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783662460818.
Elsevier - Harvard (with titles)D’Souza, D., Lal, A., Larsen, K.G. (Hrsg.), 2015. Verification, Model Checking, and Abstract Interpretation : 16 th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-662-46081-8
American Psychological Association 7th editionD’Souza, D., Lal, A., … Larsen, K. G. (Hrsg.). (ca. 2015). Verification, Model Checking, and Abstract Interpretation : 16 th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2015). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-46081-8
Springer - Basic (author-date)D’Souza D, Lal A, Larsen KG (Hrsg.) (2015) Verification, Model Checking, and Abstract Interpretation : 16 th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)D’Souza, Deepak/ Lal, Akash/ Larsen, Kim Guldstrand (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 16 th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings, Theoretical Computer Science and General Issues 2015, .