Peled, D.A. und 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. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11562948.
Chicago Manual of Style 17th edition (full note)Peled, Doron A, und Yih-Kuen Tsay, Hrsg. „Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. 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
Modern Language Association 9th editionPeled, D. A., und Y.-K. Tsay, Herausgeber. „Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings“. Programming and Software Engineering, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/11562948.
ISO-690 (author-date, Deutsch)PELED, Doron A und Yih-Kuen TSAY (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540319696