APA (7th ed.) Citation

Tatsuta, M., Chin, W., & Al Ameen, M. F. (2019). Completeness and expressiveness of pointer program verification by separation logic. Information & Computation, 267, 1. https://doi.org/10.1016/j.ic.2019.03.002

Chicago Style (17th ed.) Citation

Tatsuta, Makoto, Wei-Ngan Chin, and Mahmudul Faisal Al Ameen. "Completeness and Expressiveness of Pointer Program Verification by Separation Logic." Information & Computation 267 (2019): 1. https://doi.org/10.1016/j.ic.2019.03.002.

MLA (9th ed.) Citation

Tatsuta, Makoto, et al. "Completeness and Expressiveness of Pointer Program Verification by Separation Logic." Information & Computation, vol. 267, 2019, p. 1, https://doi.org/10.1016/j.ic.2019.03.002.