APA (7th ed.) Citation

Zhang, Y., Zhang, K., Liu, G., Cai, Y., & Qin, S. (2026). Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs. Automated Software Engineering, 33(2), 1. https://doi.org/10.1007/s10515-026-00614-z

Chicago Style (17th ed.) Citation

Zhang, Yu, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, and Shengchao Qin. "Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs." Automated Software Engineering 33, no. 2 (2026): 1. https://doi.org/10.1007/s10515-026-00614-z.

MLA (9th ed.) Citation

Zhang, Yu, et al. "Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs." Automated Software Engineering, vol. 33, no. 2, 2026, p. 1, https://doi.org/10.1007/s10515-026-00614-z.