Personal information
Activities
Works (2)
Communications in Computer and Information Science
2024
|
Book chapter
Contributors:
Xun Zhang;
Hong Zhao;
Lei Di;
Zeng-Hui Yang
Source:
Zenghui Yang
High-Confidence Computing
2024-09
|
Journal article
Contributors:
Zenghui Yang;
Xiubo Chen;
Yunfeng He;
Luxi Liu;
Yinmei Che;
Xiao Wang;
Ke Xiao;
Gang Xu
Source:
check_circle
Crossref