APA (7th ed.) Citation

Yorav, K. (2008). Hardware and software, verification and testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings. Springer.

Chicago Style (17th ed.) Citation

Yorav, Karen. Hardware and Software, Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: Proceedings. Berlin ; New York: Springer, 2008.

MLA (9th ed.) Citation

Yorav, Karen. Hardware and Software, Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: Proceedings. Springer, 2008.