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
Citace podle Chicago (17th ed.)Jung, Jaehwang, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, a 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.
Citace podle MLA (9th ed.)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.