MCMILLAN, Kenneth und RIVAL, Xavier (Hrsg.). [cd]. 2014. 1 st ed. 2014. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642540134.
Elsevier - Harvard (with titles)Mc Millan, K., Rival, X. (Hrsg.), 2014. Verification, Model Checking, and Abstract Interpretation : 15 th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-54013-4
American Psychological Association 7th editionMc Millan, K., … Rival, X. (Hrsg.). (ca. 2014). Verification, Model Checking, and Abstract Interpretation : 15 th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2014). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-54013-4
Springer - Basic (author-date)Mc Millan K, Rival X (Hrsg.) (2014) Verification, Model Checking, and Abstract Interpretation : 15 th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Mc Millan, Kenneth/ Rival, Xavier (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 15 th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, Theoretical Computer Science and General Issues 2014, .