APA (7th ed.) Citation

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 Style (17th ed.) Citation

Lucanu, Dorel, Vlad Rusu, and 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 (9th ed.) Citation

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.