GRAF, Susanne und ZHANG, Wenhui (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540472384.
Elsevier - Harvard (with titles)Graf, S., Zhang, W. (Hrsg.), 2006. Automated Technology for Verification and Analysis : 4 th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/11901914
American Psychological Association 7th editionGraf, S., … Zhang, W. (Hrsg.). (ca. 2006). Automated Technology for Verification and Analysis : 4 th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11901914
Springer - Basic (author-date)Graf S, Zhang W (Hrsg.) (2006) Automated Technology for Verification and Analysis : 4 th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Graf, Susanne/ Zhang, Wenhui (Hrsg.), Automated Technology for Verification and Analysis : 4 th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings, Programming and Software Engineering 2006, .