APA Citation

Namjoshi, K., Zeller, A., & Ziv, A. (2011). Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers (1st ed. 2011.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Namjoshi, Kedar, Andreas Zeller, and Avi Ziv. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. 1st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

MLA Citation

Namjoshi, Kedar, Andreas Zeller, and Avi Ziv. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. 1st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.