Barthe, G. und 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. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-11319-2.
Chicago Manual of Style 17th edition (full note)Barthe, Gilles, und Manuel Hermenegildo, Hrsg. „Verification, Model Checking, and Abstract Interpretation : 11 th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. 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
Modern Language Association 9th editionBarthe, G., und M. Hermenegildo, Herausgeber. „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, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-11319-2.
ISO-690 (author-date, Deutsch)BARTHE, Gilles und Manuel HERMENEGILDO (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642113192