SpringerLink (Online service), Bin, E., Ziv, A., & Ur, S. (2007). Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Eyal Bin, Avi Ziv, και Shmuel Ur. Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Springer Berlin Heidelberg, 2007.
