Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
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