首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Alessandro Abate | Synapse
AA
Alessandro Abate
Formal Methods in Verification
University of Oxford
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
441 pubs · 6,129 cites · h-index 40
Affiliations
University of Oxford
Oxford Research Group
Peking University
See all
Publications