李新
作品数： 19被引量：17H指数：2
  • 所属机构:华东师范大学
  • 所在地区:上海市
  • 研究方向:文化科学

相关作者

李昂
作品数：49被引量：5H指数：1
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
史建琦
作品数：151被引量：8H指数：2
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 控制流图 中间语言
何积丰
作品数：77被引量：278H指数：6
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
黄滟鸿
作品数：133被引量：7H指数：2
供职机构：华东师范大学
研究主题：目标代码 反汇编 形式化验证 L模型 控制流图
张凯
作品数：41被引量：37H指数：3
供职机构：华东师范大学
研究主题：二氧化碳 形式化验证方法 形式化验证 污染环境 源代码
作品列表