APA (7th ed.) Citation

Asăvoae, I., de Boer, F., Bonsangue, M., Lucanu, D., & Rot, J. (2015). Model checking recursive programs interacting via the heap. Science of Computer Programming, 100, 61. https://doi.org/10.1016/j.scico.2014.09.009

Chicago Style (17th ed.) Citation

Asăvoae, I.M, F. de Boer, M.M Bonsangue, D. Lucanu, and J. Rot. "Model Checking Recursive Programs Interacting via the Heap." Science of Computer Programming 100 (2015): 61. https://doi.org/10.1016/j.scico.2014.09.009.

MLA (9th ed.) Citation

Asăvoae, I.M, et al. "Model Checking Recursive Programs Interacting via the Heap." Science of Computer Programming, vol. 100, 2015, p. 61, https://doi.org/10.1016/j.scico.2014.09.009.