首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Nishant Rodrigues | Synapse
NR
Nishant Rodrigues
Formal Methods in Verification
Institute of Flight
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
18 pubs · 579 cites · h-index 6
Affiliations
Institute of Flight
Microsoft (United States)
University of Illinois Urbana-Champaign
See all
Publications