APA-Zitierstil (7. Ausg.)

(2012). Hardware and software: verification and testing: 7th International Haifa Verification Conference, HCV 2011, Haifa, Israel, December 6 - 8, 2011 ; revised selected papers. Springer.

Chicago-Zitierstil (17. Ausg.)

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HCV 2011, Haifa, Israel, December 6 - 8, 2011 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2012.

MLA-Zitierstil (9. Ausg.)

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HCV 2011, Haifa, Israel, December 6 - 8, 2011 ; Revised Selected Papers. Springer, 2012.