Cita APA (7a ed.)
International Haifa Verification Conference ( Haifa, Israel), Bertacco, V., & Legay, A. Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
International Haifa Verification Conference ( Haifa, Israel), Valeria Bertacco, y Axel Legay. Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Cham, Suiza: Springer.
Cita MLA (9a ed.)
International Haifa Verification Conference ( Haifa, Israel), et al. Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.