Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Yi Zhang | Synapse
YZ
Yi Zhang
Formal Methods in Verification
Tongji University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
11 pubs
Affiliations
Tongji University
Nanjing University of Posts and Telecommunications
Ministry of Education
See all
Publications