Bo Wang 最新论文
Zhao 等人设计触发-动作程序差异可视化界面，利用形式化方法识别程序结果差异，在107人实验中显著提升用户选择程序的准确性。
https://hci.top/zh/authors/7072?source=all