首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Amrita Chatterjee | Synapse
AC
Amrita Chatterjee
Formal Methods in Verification
Indian Institute of Technology Dhanbad
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
10 pubs · 70 cites · h-index 6
Affiliations
Indian Institute of Technology Dhanbad
University of North Dakota
University of California, Irvine
Publications