Cita APA (7a ed.)

Reitz, A., Fromherz, A., & Protzenko, J. (2024). StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator.

Cita Chicago Style (17a ed.)

Reitz, Antonin, Aymeric Fromherz, y Jonathan Protzenko. StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator. 2024.

Cita MLA (9a ed.)

Reitz, Antonin, et al. StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator. 2024.