APA (7th ed.) Citation

Holter, K., Saan, S., Lam, P., & Vojdani, V. (2025). Sound Static Data Race Verification for C: Is the Race Lost? ACM Transactions on Programming Languages & Systems, 47(3), 1. https://doi.org/10.1145/3732933

Chicago Style (17th ed.) Citation

Holter, Karoliine, Simmo Saan, Patrick Lam, and Vesal Vojdani. "Sound Static Data Race Verification for C: Is the Race Lost?" ACM Transactions on Programming Languages & Systems 47, no. 3 (2025): 1. https://doi.org/10.1145/3732933.

MLA (9th ed.) Citation

Holter, Karoliine, et al. "Sound Static Data Race Verification for C: Is the Race Lost?" ACM Transactions on Programming Languages & Systems, vol. 47, no. 3, 2025, p. 1, https://doi.org/10.1145/3732933.