贝叶斯程序分析

@article{CIE24,
  author = {Xin Zhang and Guancheng Wang and Yiqian Wu and Yifan Chen and Tianchi Li and Yifan Zhang and Yingfei Xiong},
  title = {Bayesian Program Analysis},
  year = {2024},
  month = {4},
  site_title_zh = {贝叶斯程序分析},
  journal = {Chinese Journal of Computers, Vol. 46, No. 10},
  site_citation_zh = {电子学报，第52卷第4期},
  site_hide_home = {true},
  site_corr = {7},
  site_award_en = {Invited Submission},
  site_award_zh = {特邀投稿},
  site_paper_url = {https://www.ejournal.org.cn/CN/10.12263/DZXB.20230973}
}