Cita APA (7a ed.)
Sharon Barner, I. H. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Sharon Barner, Ian Harris. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Sharon Barner, Ian Harris. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.