Thetis: A Booster for Building Safer Systems Using the Rust Programming Language. - Jiang, Renshuang; Dong, Pan; Ding, Yan; Wei, Ran; Jiang, Zhe (Applied Sciences (2076-3417), 2023)