Reitz, A., Fromherz, A., & Protzenko, J. (2024). StarMalloc: Verifying a Modern, Hardened Memory Allocator. Proceedings of ACM on programming languages, 8(OOPSLA2), 1757-1786. https://doi.org/10.1145/3689773
Citácia podle Chicago (17th ed.)Reitz, Antonin, Aymeric Fromherz, a Jonathan Protzenko. "StarMalloc: Verifying a Modern, Hardened Memory Allocator." Proceedings of ACM on Programming Languages 8, no. OOPSLA2 (2024): 1757-1786. https://doi.org/10.1145/3689773.
Citácia podľa MLA (8th ed.)Reitz, Antonin, et al. "StarMalloc: Verifying a Modern, Hardened Memory Allocator." Proceedings of ACM on Programming Languages, vol. 8, no. OOPSLA2, 2024, pp. 1757-1786, https://doi.org/10.1145/3689773.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..