摘要：Aeneas：基于轻量级函数翻译的Rust程序验证工具链
作者：Son Ho, Jonathan Protzenko
论文ID：2206.07185
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-09-29
PDF 下载： 英文版 中文版pdf翻译中