首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Alessandro Cimatti | Synapse
AC
Alessandro Cimatti
Formal Methods in Verification
Fondazione Bruno Kessler
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
381 pubs · 16,300 cites · h-index 55
Affiliations
Fondazione Bruno Kessler
Institute of Electrical and Electronics Engineers
Gorgias Press (United States)
See all
Publications