ホーム
探索
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