Bin, E., Ziv, A. und Ur, S. (Hrsg.) (2007) „Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-70889-6.

Bin, Eyal, Avi Ziv, und Shmuel Ur, Hrsg. „Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-70889-6.

Bin, E., Ziv, A., … Ur, S. (Hrsg.). (ca. 2007). Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70889-6

Bin, E., A. Ziv, und S. Ur, Herausgeber. „Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-70889-6.

BIN, Eyal, Avi ZIV und Shmuel UR (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540708896