APA-Zitierstil (7. Ausg.)

(2011). Hardware and software: Verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers. Springer.

Chicago-Zitierstil (17. Ausg.)

Hardware and Software: Verification and Testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2011.

MLA-Zitierstil (9. Ausg.)

Hardware and Software: Verification and Testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; Revised Selected Papers. Springer, 2011.