电脑体验，效果更佳

佟长英图谱-计算机领域：

相关人员

沈云付

研究领域

间隔逻辑 Object-Z 时序逻辑 程序切片 Kripke结构 通用堆栈

所属机构

上海大学计算机工程与科学学院

标签云