管甜
作品数: 3被引量:0H指数:0
  • 所属机构:华东理工大学
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术

相关作者

宋国新
作品数:73被引量:144H指数:7
供职机构:华东理工大学信息科学与工程学院计算机科学与工程系
研究主题:重写 形式化 入侵容忍 访问控制 操作语义