陈灏
作品数： 3被引量：12H指数：3
  • 所属机构:中国科学技术大学软件学院
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:苏州市科技计划项目

相关作者

华保健
作品数：25被引量：58H指数：4
供职机构：中国科学技术大学软件学院
研究主题：指针逻辑 HOARE逻辑 出具证明编译器 ANDROID 编译器
朱洪军
作品数：14被引量：49H指数：4
供职机构：中国科学技术大学软件学院
研究主题：基于GIS ANDROID GIS 混合式教学 软件设计模式
韩洋
作品数：1被引量：3H指数：1
供职机构：中国科学技术大学软件学院
研究主题：移动应用程序 内存泄露 内存泄漏
陈耀光
作品数：1被引量：4H指数：1
供职机构：中国科学技术大学软件学院
研究主题：ANDROID应用 ANDROID 加壳
郭宇
作品数：11被引量：38H指数：3
供职机构：中国科学技术大学
研究主题：形式化验证 COQ 高可信软件 编译原理课程 编程语言
作品列表