JHALA, Ranjit, 2011. Proceedings of the 12 th international conference on Verification, model checking, and abstract interpretation. [cd]. 2011. Berlin, Heidelberg: Springer-Verlag. ISBN 9783642182747.
Elsevier - Harvard (with titles)Jhala, R., 2011. Proceedings of the 12 th international conference on Verification, model checking, and abstract interpretation.
American Psychological Association 7th editionJhala, R. (ca. 2011). Proceedings of the 12 th international conference on Verification, model checking, and abstract interpretation [Cd]. Springer-Verlag.
Springer - Basic (author-date)Jhala R (2011) Proceedings of the 12 th international conference on Verification, model checking, and abstract interpretation
Juristische Zitierweise (Stüber) (Deutsch)Jhala, Ranjit, Proceedings of the 12 th international conference on Verification, model checking, and abstract interpretation, 2011, .