APA (7th ed.) Citation

Yahav, E., Reps, T., Sagiv, M., & Wilhelm, R. (2006). Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL, 14(5), 755. https://doi.org/10.1093/jigpal/jzl009

Chicago Style (17th ed.) Citation

Yahav, E., T. Reps, M. Sagiv, and R. Wilhelm. "Verifying Temporal Heap Properties Specified via Evolution Logic." Logic Journal of the IGPL 14, no. 5 (2006): 755. https://doi.org/10.1093/jigpal/jzl009.

MLA (9th ed.) Citation

Yahav, E., et al. "Verifying Temporal Heap Properties Specified via Evolution Logic." Logic Journal of the IGPL, vol. 14, no. 5, 2006, p. 755, https://doi.org/10.1093/jigpal/jzl009.