Lucanu, D., Rusu, V., & Arusoaie, A. (2017). A generic framework for symbolic execution: A coinductive approach. Journal of symbolic computation, 80, 125-163. https://doi.org/10.1016/j.jsc.2016.07.012
Chicago-Zitierstil (17. Ausg.)Lucanu, Dorel, Vlad Rusu, und Andrei Arusoaie. "A Generic Framework for Symbolic Execution: A Coinductive Approach." Journal of Symbolic Computation 80 (2017): 125-163. https://doi.org/10.1016/j.jsc.2016.07.012.
MLA-Zitierstil (9. Ausg.)Lucanu, Dorel, et al. "A Generic Framework for Symbolic Execution: A Coinductive Approach." Journal of Symbolic Computation, vol. 80, 2017, pp. 125-163, https://doi.org/10.1016/j.jsc.2016.07.012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.