Jones, N. und Müller-Olm, M. (Hrsg.) (2009) „Verification, Model Checking, and Abstract Interpretation : 10 th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-93900-9.

Jones, Neil, und Markus Müller-Olm, Hrsg. „Verification, Model Checking, and Abstract Interpretation : 10 th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-540-93900-9.

Jones, N., … Müller-Olm, M. (Hrsg.). (ca. 2009). Verification, Model Checking, and Abstract Interpretation : 10 th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-93900-9

Jones, N., und M. Müller-Olm, Herausgeber. „Verification, Model Checking, and Abstract Interpretation : 10 th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-540-93900-9.

JONES, Neil und Markus MÜLLER-OLM (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540939009