盛枫
作品数： 2被引量：3H指数：1
  • 所属机构:华东师范大学信息科学技术学院
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

窦亮
作品数：30被引量：102H指数：6
供职机构：华东师范大学
研究主题：COQ 定理证明器 UML 精化 语义
杨宗源
作品数：37被引量：168H指数：7
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络
王博文
作品数：1被引量：3H指数：1
供职机构：华东师范大学信息科学技术学院
研究主题：UML类图 形式规约 精化 模型精化 语意
作品列表