NAMJOSHI, Kedar, YONEDA, Tomohiro, HIGASHINO, Teruo und OKAMURA, Yoshio (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540755968.
Elsevier - Harvard (with titles)Namjoshi, K., Yoneda, T., Higashino, T., Okamura, Y. (Hrsg.), 2007. Automated Technology for Verification and Analysis : 5 th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-75596-8
American Psychological Association 7th editionNamjoshi, K., Yoneda, T., Higashino, T., … Okamura, Y. (Hrsg.). (ca. 2007). Automated Technology for Verification and Analysis : 5 th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-75596-8
Springer - Basic (author-date)Namjoshi K, Yoneda T, Higashino T, Okamura Y (Hrsg.) (2007) Automated Technology for Verification and Analysis : 5 th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Namjoshi, Kedar/ Yoneda, Tomohiro/ Higashino, Teruo/ Okamura, Yoshio (Hrsg.), Automated Technology for Verification and Analysis : 5 th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings, Programming and Software Engineering 2007, .