HVC Haifa & Strichman, O. (2017). Hardware and software: Verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings. Springer.
Chicago Style (17th ed.) CitationHVC Haifa and Ofer Strichman. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : Proceedings. Cham: Springer, 2017.
MLA (9th ed.) CitationHVC Haifa and Ofer Strichman. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : Proceedings. Springer, 2017.
Warning: These citations may not always be 100% accurate.