Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
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