程序分析研究进展

@article{JOS18,
  author = {Jian Zhang and Chao Zhang and Jifeng Xuan and Yingfei Xiong and Qianxiang Wang and Bin Liang and Lian Li and Whensheng Dou and Zhenbang Chen and Liqian Chen and Yan Cai},
  title = {Recent Progress in Program Analysis (in Chinese)},
  year = {2018},
  month = {10},
  site_title_zh = {程序分析研究进展},
  journal = {Journal of Software},
  site_citation_zh = {软件学报},
  site_hide_home = {true},
  site_corr = {1}
}