Personal Information

Home > Scientific Research > Research Projects

基于通用开放语义的可组合编译器验证研究

Hits:

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

Recommend this article