APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Eyal Bin, Avi Ziv, and 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 ed.) Citation

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.