Xin Zhang, Guancheng Wang, Yiqian Wu, Yifan Chen, Tianchi Li, Yifan Zhang, Yingfei Xiong*
电子学报，第52卷第4期 · April 2024
✦ Invited Submission
@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}
}