-
盛枫
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:华东师范大学信息科学技术学院
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 窦亮
![](/images/user-pic.gif)
- 作品数:30被引量:102H指数:6
- 供职机构:华东师范大学
- 研究主题:COQ 定理证明器 UML 精化 语义
- 杨宗源
![](/images/user-pic.gif)
- 作品数:37被引量:168H指数:7
- 供职机构:华东师范大学信息科学技术学院计算机科学技术系
- 研究主题:软件工程 面向对象 COQ 软件测试 社交网络
- 王博文
![](/images/user-pic.gif)
- 作品数:1被引量:3H指数:1
- 供职机构:华东师范大学信息科学技术学院
- 研究主题:UML类图 形式规约 精化 模型精化 语意