Cite
Abstract interpretation of resolution-based semantics
MLA
Cousot, Patrick, et al. “Abstract Interpretation of Resolution-Based Semantics.” Theoretical Computer Science, vol. 410, no. 46, Nov. 2009, pp. 4724–46. EBSCOhost, https://doi.org/10.1016/j.tcs.2009.07.040.
APA
Cousot, P., Cousot, R., & Giacobazzi, R. (2009). Abstract interpretation of resolution-based semantics. Theoretical Computer Science, 410(46), 4724–4746. https://doi.org/10.1016/j.tcs.2009.07.040
Chicago
Cousot, Patrick, Radhia Cousot, and Roberto Giacobazzi. 2009. “Abstract Interpretation of Resolution-Based Semantics.” Theoretical Computer Science 410 (46): 4724–46. doi:10.1016/j.tcs.2009.07.040.