홈
탐색
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