APA (7th ed.) Citation

SpringerLink (Online service) & Yorav, K. (2008). Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and Karen Yorav. Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

MLA (8th ed.) Citation

SpringerLink (Online service) and Karen Yorav. Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings. Springer Berlin Heidelberg, 2008.