Cha, S., Choi, J.-Y., Kim, M. und Viswanathan, M. (Hrsg.) (2008) „Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings“, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-88387-6.

Cha, Sungdeok, Jin-Young Choi, Moonzoo Kim, und Mahesh Viswanathan, Hrsg. „Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-88387-6.

Cha, S., Choi, J.-Y., Kim, M., … Viswanathan, M. (Hrsg.). (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). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88387-6

Cha, S., J.-Y. Choi, M. Kim, und M. Viswanathan, Herausgeber. „Automated Technology for Verification and Analysis : 6 th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-88387-6.

CHA, Sungdeok, Jin-Young CHOI, Moonzoo KIM und Mahesh VISWANATHAN (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540883876