홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
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