Barner, S. (2011). Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers. Springer.
Chicago-Zitierstil (17. Ausg.)Barner, Sharon. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2011.
MLA-Zitierstil (9. Ausg.)Barner, Sharon. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers. Springer, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.