Project Participants:Wang Yuting Classification of Disciplines:计算机科学技术基础学科 Date of Project Completion:2020-12-01 Date of Project Initiation:2016-01-01
Pre One:Formal End-to-End Verification of Information-Flow Security for Complex Systems
Next One:The Science of Deep Specification
