APA (7th ed.) Citation

Jung, J., Lee, J., Choi, J., Kim, J., Park, S., & Kang, J. (2023). Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. Proceedings of ACM on programming languages, 7(OOPSLA2), 828-856. https://doi.org/10.1145/3622827

Chicago Style (17th ed.) Citation

Jung, Jaehwang, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang. "Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic." Proceedings of ACM on Programming Languages 7, no. OOPSLA2 (2023): 828-856. https://doi.org/10.1145/3622827.

MLA (9th ed.) Citation

Jung, Jaehwang, et al. "Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023, pp. 828-856, https://doi.org/10.1145/3622827.