APA (7th ed.) Citation

Mével, G., Jourdan, J., & Pottier, F. (2020). Cosmo: A concurrent separation logic for multicore OCaml. Proceedings of ACM on programming languages, 4(ICFP), 1-29. https://doi.org/10.1145/3408978

Chicago Style (17th ed.) Citation

Mével, Glen, Jacques-Henri Jourdan, and François Pottier. "Cosmo: A Concurrent Separation Logic for Multicore OCaml." Proceedings of ACM on Programming Languages 4, no. ICFP (2020): 1-29. https://doi.org/10.1145/3408978.

MLA (9th ed.) Citation

Mével, Glen, et al. "Cosmo: A Concurrent Separation Logic for Multicore OCaml." Proceedings of ACM on Programming Languages, vol. 4, no. ICFP, 2020, pp. 1-29, https://doi.org/10.1145/3408978.