APA (7th ed.) Citation

Charguéraud, A., & Pottier, F. (2019). Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits. Journal of Automated Reasoning, 62(3), 331. https://doi.org/10.1007/s10817-017-9431-7

Chicago Style (17th ed.) Citation

Charguéraud, Arthur, and François Pottier. "Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits." Journal of Automated Reasoning 62, no. 3 (2019): 331. https://doi.org/10.1007/s10817-017-9431-7.

MLA (9th ed.) Citation

Charguéraud, Arthur, and François Pottier. "Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits." Journal of Automated Reasoning, vol. 62, no. 3, 2019, p. 331, https://doi.org/10.1007/s10817-017-9431-7.