Personal Information

Home > Scientific Research > Research Projects

CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法

Hits:

Leading Scientist:Wang Yuting
Classification of Disciplines:计算机科学技术基础学科
Date of Project Completion:2024-09-01
Date of Project Initiation:2023-10-01

Recommend this article