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
Citace podle Chicago (17th ed.)Mével, Glen, Jacques-Henri Jourdan, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..