HVC Haifa & Bloem, R. (2016). Hardware and software: Verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings. Springer. https://doi.org/10.1007/978-3-319-49052-6
Chicago-Zitierstil (17. Ausg.)HVC Haifa und Roderick Bloem. Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : Proceedings. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-49052-6.
MLA-Zitierstil (9. Ausg.)HVC Haifa und Roderick Bloem. Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : Proceedings. Springer, 2016. https://doi.org/10.1007/978-3-319-49052-6.