HVC Haifa & Strichman, O. (2016). Hardware and software: Verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)HVC Haifa und Ofer Strichman. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : Proceedings. Cham: Springer, 2016.
MLA-Zitierstil (9. Ausg.)HVC Haifa und Ofer Strichman. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : Proceedings. Springer, 2016.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.