SPLASH 2024 (series) / Yongjian Li
Registered user since Fri 20 Oct 2023
Name:Yongjian Li
Affiliation:Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Personal website: http://lcs.ios.ac.cn/~lyj238/index_e.html
Research interests:Formal methods
Contributions
Using general profile