Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
Tichakorn Wongpiromsarn | Synapse
TW
Tichakorn Wongpiromsarn
Formal Methods in Verification
Iowa State University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
96 pubs · 2,279 cites · h-index 23
Affiliations
Iowa State University
Amazon (United States)
The University of Texas at Austin
See all
Publications