刘畅
作品数： 2被引量：2H指数：1
  • 所属机构:复旦大学计算机科学技术学院
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

田忠
作品数：4被引量：8H指数：2
供职机构：复旦大学计算机科学技术学院
研究主题：软件开发 形式化 软件工程 程序设计 C++语言
吕建国
作品数：5被引量：3H指数：1
供职机构：复旦大学计算机科学技术学院
研究主题：软件自动化 形式化 软件工程 计算机实现 计算机
徐智晨
作品数：6被引量：4H指数：2
供职机构：复旦大学计算机科学技术学院
研究主题：PASCAL语言 形式化 对象模型 软件工程 程序语言
钱家骅
作品数：7被引量：4H指数：2
供职机构：复旦大学计算机科学技术学院
研究主题：程序设计 软件工程 程序语言 数据类型 PASCAL语言
作品列表