APA (7th ed.) Citation

Jiang, R., Dong, P., Ding, Y., Wei, R., & Jiang, Z. (2025). Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes. ACM Transactions on Embedded Computing Systems, 24(4), 1. https://doi.org/10.1145/3736729

Chicago Style (17th ed.) Citation

Jiang, Renshuang, Pan Dong, Yan Ding, Ran Wei, and Zhe Jiang. "Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes." ACM Transactions on Embedded Computing Systems 24, no. 4 (2025): 1. https://doi.org/10.1145/3736729.

MLA (9th ed.) Citation

Jiang, Renshuang, et al. "Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes." ACM Transactions on Embedded Computing Systems, vol. 24, no. 4, 2025, p. 1, https://doi.org/10.1145/3736729.