首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Thao Dang | Synapse
TD
Thao Dang
Formal Methods in Verification
Esslingen University of Applied Sciences
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
161 pubs · 6,735 cites · h-index 39
Affiliations
Esslingen University of Applied Sciences
University of Arizona
The University of Texas at Arlington
See all
Publications