APA (7th ed.) Citation

International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service), Bin, E., Ur, S., & Ziv, A. (2007). Hardware and software, verification and testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-540-70889-6

Chicago Style (17th ed.) Citation

International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service), Eyal Bin, Shmuel Ur, and Avi Ziv. Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; Revised Selected Papers. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-70889-6.

MLA (9th ed.) Citation

International Haifa Verification Conference Haifa, Israel, 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, 2007. https://doi.org/10.1007/978-3-540-70889-6.