APA (7th ed.) Citation

Sagiv, M., Reps, T., & Wilhelm, R. (2002). Parametric Shape Analysis via 3-Valued Logic. ACM Transactions on Programming Languages & Systems, 24(3), 217. https://doi.org/10.1145/514188.514190

Chicago Style (17th ed.) Citation

Sagiv, Mooly, Thomas Reps, and Reinhard Wilhelm. "Parametric Shape Analysis via 3-Valued Logic." ACM Transactions on Programming Languages & Systems 24, no. 3 (2002): 217. https://doi.org/10.1145/514188.514190.

MLA (9th ed.) Citation

Sagiv, Mooly, et al. "Parametric Shape Analysis via 3-Valued Logic." ACM Transactions on Programming Languages & Systems, vol. 24, no. 3, 2002, p. 217, https://doi.org/10.1145/514188.514190.