APA (7th ed.) Citation

International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service), Bin, E., Ur, S., & Wolfsthal, Y. (2006). Hardware and software, verification and testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers. Springer. https://doi.org/10.1007/11678779

Chicago Style (17th ed.) Citation

International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service), Eyal Bin, Shmuel Ur, and Yaron Wolfsthal. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : Revised Selected Papers. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11678779.

MLA (9th ed.) Citation

International Haifa Verification Conference Haifa, Israel, et al. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : Revised Selected Papers. Springer, 2006. https://doi.org/10.1007/11678779.