贝叶斯程序分析

张昕, 王冠成, 吴宜谦, 陈逸凡, 李天驰, 张羿凡, 熊英飞

Bayesian Program Analysis

ZHANG Xin, WANG Guan-cheng, WU Yi-qian, CHEN Yi-fan, LI Tian-chi, ZHANG Yi-fan, XIONG Ying-fei

电子学报 . . DOI: 10.12263/DZXB.20230973