首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Igor Anureev | Synapse
IA
Igor Anureev
Formal Methods in Verification
Institute of Informatics of the Slovak Academy of Sciences
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
85 pubs · 276 cites · h-index 8
Affiliations
Institute of Informatics of the Slovak Academy of Sciences
Institute of Automation and Electrometry
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
See all
Publications