Statistics
Publications
2
Citations
51
H-Index
2
Active since
2015
Affiliations
Yesheng Chai is an author at Institute of Software specializing in formal verification, software engineering, and automated reasoning.
Publications per year
2015–2015
2
2
1–2 of 2