张杰亮
作品数： 4被引量：2H指数：1
  • 所属机构:华东师范大学
  • 所在地区:上海市
  • 研究方向:交通运输工程

相关作者

郭建
作品数：39被引量：22H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
作品列表