BARTHE, Gilles und HERMENEGILDO, Manuel (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642113192.
Elsevier - Harvard (with titles)Barthe, G., Hermenegildo, M. (Hrsg.), 2010. Verification, Model Checking, and Abstract Interpretation : 11 th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-11319-2
American Psychological Association 7th editionBarthe, G., … Hermenegildo, M. (Hrsg.). (ca. 2010). Verification, Model Checking, and Abstract Interpretation : 11 th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-11319-2
Springer - Basic (author-date)Barthe G, Hermenegildo M (Hrsg.) (2010) Verification, Model Checking, and Abstract Interpretation : 11 th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Barthe, Gilles/ Hermenegildo, Manuel (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 11 th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings, Theoretical Computer Science and General Issues 2010, .