APA (7th ed.) Citation

Krebbers, R. (2016). A Formal C Memory Model for Separation Logic. Journal of Automated Reasoning, 57(4), 319. https://doi.org/10.1007/s10817-016-9369-1

Chicago Style (17th ed.) Citation

Krebbers, Robbert. "A Formal C Memory Model for Separation Logic." Journal of Automated Reasoning 57, no. 4 (2016): 319. https://doi.org/10.1007/s10817-016-9369-1.

MLA (9th ed.) Citation

Krebbers, Robbert. "A Formal C Memory Model for Separation Logic." Journal of Automated Reasoning, vol. 57, no. 4, 2016, p. 319, https://doi.org/10.1007/s10817-016-9369-1.