Citace podle APA (7th ed.)

Jacobs, J., Hinrichsen, J. K., & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of ACM on programming languages, 8(POPL), 1385-1417. https://doi.org/10.1145/3632889

Citace podle Chicago (17th ed.)

Jacobs, Jules, Jonas Kastberg Hinrichsen, a Robbert Krebbers. "Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing." Proceedings of ACM on Programming Languages 8, no. POPL (2024): 1385-1417. https://doi.org/10.1145/3632889.

Citace podle MLA (9th ed.)

Jacobs, Jules, et al. "Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing." Proceedings of ACM on Programming Languages, vol. 8, no. POPL, 2024, pp. 1385-1417, https://doi.org/10.1145/3632889.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..