首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Yajuan Sun | Synapse
YS
Yajuan Sun
Formal Methods in Verification
North China Electric Power University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
91 pubs · 2,177 cites · h-index 20
Affiliations
North China Electric Power University
Agency for Science, Technology and Research
Shanghai Lixin University of Accounting and Finance
See all
Publications