Liu, Z. und Ravn, A.P. (Hrsg.) (2009) „Automated Technology for Verification and Analysis : 7 th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-04761-9.
Chicago Manual of Style 17th edition (full note)Liu, Zhiming, und Anders P Ravn, Hrsg. „Automated Technology for Verification and Analysis : 7 th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-04761-9.
American Psychological Association 7th editionLiu, Z., … Ravn, A. P. (Hrsg.). (ca. 2009). Automated Technology for Verification and Analysis : 7 th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-04761-9
Modern Language Association 9th editionLiu, Z., und A. P. Ravn, Herausgeber. „Automated Technology for Verification and Analysis : 7 th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-04761-9.
ISO-690 (author-date, Deutsch)LIU, Zhiming und Anders P RAVN (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642047619