Nowack, M., Tietze, K., & Fetzer, C. (2015). Parallel Symbolic Execution: Merging In-Flight Requests. Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 120. https://doi.org/10.1007/978-3-319-26287-1_8
Chicago-Zitierstil (17. Ausg.)Nowack, Martin, Katja Tietze, und Christof Fetzer. "Parallel Symbolic Execution: Merging In-Flight Requests." Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings 2015: 120. https://doi.org/10.1007/978-3-319-26287-1_8.
MLA-Zitierstil (9. Ausg.)Nowack, Martin, et al. "Parallel Symbolic Execution: Merging In-Flight Requests." Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, p. 120, https://doi.org/10.1007/978-3-319-26287-1_8.