PELED, Doron A und TSAY, Yih-Kuen (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540319696.
Elsevier - Harvard (with titles)Peled, D.A., Tsay, Y.-K. (Hrsg.), 2005. Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/11562948
American Psychological Association 7th editionPeled, D. A., … Tsay, Y.-K. (Hrsg.). (ca. 2005). Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/11562948
Springer - Basic (author-date)Peled DA, Tsay Y-K (Hrsg.) (2005) Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Peled, Doron A/ Tsay, Yih-Kuen (Hrsg.), Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, Programming and Software Engineering 2005, .