LOGOZZO, Francesco, PELED, Doron A und ZUCK, Leonore D (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540781639.
Elsevier - Harvard (with titles)Logozzo, F., Peled, D.A., Zuck, L.D. (Hrsg.), 2008. Verification, Model Checking, and Abstract Interpretation : 9 th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-78163-9
American Psychological Association 7th editionLogozzo, F., Peled, D. A., … Zuck, L. D. (Hrsg.). (ca. 2008). Verification, Model Checking, and Abstract Interpretation : 9 th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-78163-9
Springer - Basic (author-date)Logozzo F, Peled DA, Zuck LD (Hrsg.) (2008) Verification, Model Checking, and Abstract Interpretation : 9 th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Logozzo, Francesco/ Peled, Doron A/ Zuck, Leonore D (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 9 th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Theoretical Computer Science and General Issues 2008, .