JHALA, Ranjit und SCHMIDT, David (Hrsg.). [cd]. 2011. 1 st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642182754.
Elsevier - Harvard (with titles)Jhala, R., Schmidt, D. (Hrsg.), 2011. Verification, Model Checking, and Abstract Interpretation : 12 th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-18275-4
American Psychological Association 7th editionJhala, R., … Schmidt, D. (Hrsg.). (ca. 2011). Verification, Model Checking, and Abstract Interpretation : 12 th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2011). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-18275-4
Springer - Basic (author-date)Jhala R, Schmidt D (Hrsg.) (2011) Verification, Model Checking, and Abstract Interpretation : 12 th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Jhala, Ranjit/ Schmidt, David (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 12 th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings, Theoretical Computer Science and General Issues 2011, .