Yang Xu

Yang Xu

Southwest Jiaotong University
Verified email at swjtu.edu.cn
Cited by 8166
Algebra logic Automated Reasoning Formal Verification Intelligent Information Processing