Laddad, S., Power, C., Milano, M., Cheung, A., & Hellerstein, J. M. (2022). Katara: Synthesizing CRDTs with verified lifting. Proceedings of ACM on programming languages, 6(OOPSLA2), 1349-1377. https://doi.org/10.1145/3563336
Citace podle Chicago (17th ed.)Laddad, Shadaj, Conor Power, Mae Milano, Alvin Cheung, a Joseph M. Hellerstein. "Katara: Synthesizing CRDTs with Verified Lifting." Proceedings of ACM on Programming Languages 6, no. OOPSLA2 (2022): 1349-1377. https://doi.org/10.1145/3563336.
Citace podle MLA (9th ed.)Laddad, Shadaj, et al. "Katara: Synthesizing CRDTs with Verified Lifting." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA2, 2022, pp. 1349-1377, https://doi.org/10.1145/3563336.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..