Yuanpeng He
Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, 100871, China; School of Computer Science, Peking University, Beijing, 100871, China.
-
To recognize that what is past cannot be amended, and that what is to come may yet be pursued.
- Beijing, China
- DBLP
- Steam
- Google Scholar
- ORCID