IEEE Xplore,SCIE
第65届计算机科学基础年会
Formal Methods in Computer-Aided Design 2024
EI Compendex,SCIE,SCI
第49届计算机科学数学基础国际研讨会
EI Compendex,Scopus,SCIE
第30届国际计算与组合数学大会