APA (7th ed.) Citation

Bertacco, V. (2013). Hardware and software: verification and testing: 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Bertacco, Valeria. Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; Proceedings. Cham [u.a.]: Springer, 2013.

MLA (9th ed.) Citation

Bertacco, Valeria. Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; Proceedings. Springer, 2013.