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
Citácia podle Chicago (17th ed.)Lucanu, Dorel, Vlad Rusu, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..