APA (7th ed.) Zitazioa

(2011). Hardware and software, verification and testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.).

Chicago Style (17th ed.) Zitazioa

Hardware and Software, Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : Revised Selected Papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.). 2011.

MLA (9th ed.) Zitazioa

Hardware and Software, Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : Revised Selected Papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.). 2011.