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
Research interests:Formal methods

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile