Swamy, N., Rastogi, A., Fromherz, A., Merigoux, D., Ahman, D., & Martínez, G. (2020). SteelCore: An extensible concurrent separation logic for effectful dependently typed programs. Proceedings of ACM on programming languages, 4(ICFP), 1-30. https://doi.org/10.1145/3409003
Citácia podle Chicago (17th ed.)Swamy, Nikhil, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, a Guido Martínez. "SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs." Proceedings of ACM on Programming Languages 4, no. ICFP (2020): 1-30. https://doi.org/10.1145/3409003.
Citácia podľa MLA (8th ed.)Swamy, Nikhil, et al. "SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs." Proceedings of ACM on Programming Languages, vol. 4, no. ICFP, 2020, pp. 1-30, https://doi.org/10.1145/3409003.