Citace podle APA (7th 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.
Citace podle Chicago (17th ed.)
International Haifa Verification Conference ( Haifa, Israel), Valeria Bertacco, a 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..