Logozzo, F., Peled, D.A. und 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. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-78163-9.

Logozzo, Francesco, Doron A Peled, und Leonore D Zuck, Hrsg. „Verification, Model Checking, and Abstract Interpretation : 9 th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-78163-9.

Logozzo, 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

Logozzo, F., D. A. Peled, und L. D. Zuck, Herausgeber. „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, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-78163-9.

LOGOZZO, Francesco, Doron A PELED und Leonore D ZUCK (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540781639