Personal Information

Home > Scientific Research > Research Projects

Reasoning about Specifications of Computations

Hits:

Project Participants:Wang Yuting
Classification of Disciplines:计算机科学技术基础学科
Date of Project Completion:2014-12-01
Date of Project Initiation:2009-01-01

Recommend this article