Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Language
English
English
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