Statistics
Publications
1
Citations
47
H-Index
1
Active since
2019
Affiliations
Southwest Jiaotong University(Current)
Ming-Yang Tian is an author at Southwest Jiaotong University specializing in formal verification, formal methods, and automated reasoning.
Publications per year
2019–2019
1
1
1–1 of 1