Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
Jinzhao Wu | Synapse
JW
Jinzhao Wu
Formal Methods in Verification
Guangxi University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
47 pubs · 157 cites · h-index 7
Affiliations
Guangxi University
Guilin University of Electronic Technology
Guilin University of Aerospace Technology
See all
Publications