位置:成果数据库 > 期刊 > 期刊详情页
Formal verification for C program
  • ISSN号:0868-4952
  • 期刊名称:Informatica
  • 时间:0
  • 页码:289-304
  • 语言:英文
  • 相关项目:基于依赖公式抽象的软件模型检测研究
同期刊论文项目
同项目期刊论文