Scherb, C., Heitz, L. B., Grieder, H., & Mattmann, O. (2023). Divide, Conquer and Verify: Improving Symbolic Execution Performance.
Chicago-Zitierstil (17. Ausg.)Scherb, Christopher, Luc Bryan Heitz, Hermann Grieder, und Olivier Mattmann. Divide, Conquer and Verify: Improving Symbolic Execution Performance. 2023.
MLA-Zitierstil (9. Ausg.)Scherb, Christopher, et al. Divide, Conquer and Verify: Improving Symbolic Execution Performance. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.