电脑体验，效果更佳

姜励图谱-自然科学领域：

相关人员

平玲娣 陈小平 李善平 潘雪增 陈健 陈文智 黄勇

研究领域

弱互拟 类型系统 多级安全策略 信息流安全 BLP模型 进程代数 多线程语言 概率系统

所属机构

浙江大学计算机科学与技术学院

标签云