Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Yishi Zhao | Synapse
YZ
Yishi Zhao
Formal Methods in Verification
Ministry of Education of the People's Republic of China
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
41 pubs · 383 cites · h-index 11
Affiliations
Ministry of Education of the People's Republic of China
China University of Geosciences
Beijing Tian Tan Hospital
See all
Publications