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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..