Bizjak, A., Gratzer, D., Krebbers, R., & Birkedal, L. (2019). Iron: Managing obligations in higher-order concurrent separation logic. Proceedings of ACM on programming languages, 3(POPL), 1-30. https://doi.org/10.1145/3290378
Citace podle Chicago (17th ed.)Bizjak, Aleš, Daniel Gratzer, Robbert Krebbers, a Lars Birkedal. "Iron: Managing Obligations in Higher-order Concurrent Separation Logic." Proceedings of ACM on Programming Languages 3, no. POPL (2019): 1-30. https://doi.org/10.1145/3290378.
Citace podle MLA (9th ed.)Bizjak, Aleš, et al. "Iron: Managing Obligations in Higher-order Concurrent Separation Logic." Proceedings of ACM on Programming Languages, vol. 3, no. POPL, 2019, pp. 1-30, https://doi.org/10.1145/3290378.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..