JIANG, Renshuang, DONG, Pan, DING, Yan, WEI, Ran und JIANG, Zhe, 2025. Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes. ACM Transactions on Embedded Computing Systems. 1 Juli 2025. Vol. 24, no. 4, p. 1-25. DOI 10.1145/3736729.
Elsevier - Harvard (with titles)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, 1-25. https://doi.org/10.1145/3736729
American Psychological Association 7th editionJiang, 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-25. https://doi.org/10.1145/3736729
Springer - Basic (author-date)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:1-25. https://doi.org/10.1145/3736729
Juristische Zitierweise (Stüber) (Deutsch)Jiang, Renshuang/ Dong, Pan/ Ding, Yan/ Wei, Ran/ Jiang, Zhe, Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes., ACM Transactions on Embedded Computing Systems 2025, 1-25.