APA (7th ed.) Citation
O’HEARN, P. (2019). Separation Logic. Communications of the ACM, 62(2), 86-96.
Chicago Style (17th ed.) Citation
O’HEARN, PETER. "Separation Logic." Communications of the ACM 62, no. 2 (2019): 86-96.
MLA (9th ed.) Citation
O’HEARN, PETER. "Separation Logic." Communications of the ACM, vol. 62, no. 2, 2019, pp. 86-96.
Warning: These citations may not always be 100% accurate.