• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
A Static Analyzer for Numerical Programs in C and Fortran
HOU Suning,CHEN Liqian,WANG Zhaofei,WANG Ji
Computer Engineering & Science . 2011, (3): 94 -102 .  DOI: 10.3969/j.issn.1007130X.2011.