电脑体验，效果更佳

何锫图谱-计算机领域：

相关人员

黄道昌 陶荣 马恋 肖增良 康立山 唐稚松

研究领域

Hoare逻辑 程序验证 并行验证 证明策略 并行调度 推理规则 依赖集 引理

所属机构

长沙交通学院 中国科学院软件所

标签云