HVC Haifa, Strichman, O., & Tzoref-Brill, R. (2017). Hardware and software: Verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-70389-3
Chicago-Zitierstil (17. Ausg.)HVC Haifa, Ofer Strichman, und Rachel Tzoref-Brill. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-70389-3.
MLA-Zitierstil (9. Ausg.)HVC Haifa, et al. Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-70389-3.