Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis认证的符号有限转换器：形式化及其在字符串分析中的应用PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026IF02026-01-010PRE
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项
研究方向