电脑体验，效果更佳

桑田图谱-计算机领域：

相关人员

王新兵 周宏斌 张磊 黄连生

研究领域

形式化验证 形式化方法 加密协议 串空间 推理逻辑 安全协议 抽象 Z方法

所属机构

清华大学计算机科学与技术系

标签云