الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
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