CHA, Sungdeok, CHOI, Jin-Young, KIM, Moonzoo and VISWANATHAN, Mahesh (eds.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540883876.
Elsevier - Harvard (with titles)Cha, S., Choi, J.-Y., Kim, M., Viswanathan, M. (Eds.), 2008. Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-88387-6
American Psychological Association 7th editionCha, S., Choi, J.-Y., Kim, M., … Viswanathan, M. (eds.). (ca. 2008). Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88387-6
Springer - Basic (author-date)Cha S, Choi J-Y, Kim M, Viswanathan M (eds.) (2008) Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Cha, Sungdeok/ Choi, Jin-Young/ Kim, Moonzoo/ Viswanathan, Mahesh (eds.), Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings, Programming and Software Engineering 2008, .