Ur, S., Bin, E. und Wolfsthal, Y. (Hrsg.) (2006) „Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers“, Programming and Software Engineering. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11678779.
Chicago Manual of Style 17th edition (full note)Ur, Shmuel, Eyal Bin, und Yaron Wolfsthal, Hrsg. „Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11678779.
American Psychological Association 7th editionUr, S., Bin, E., … Wolfsthal, Y. (Hrsg.). (ca. 2006). Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11678779
Modern Language Association 9th editionUr, S., E. Bin, und Y. Wolfsthal, Herausgeber. „Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11678779.
ISO-690 (author-date, Deutsch)UR, Shmuel, Eyal BIN und Yaron WOLFSTHAL (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540326052