الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
Natalia Garanina | Synapse
NG
Natalia Garanina
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
95 pubs · 397 cites · h-index 11
Affiliations
Institute of Informatics of the Slovak Academy of Sciences
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Novosibirsk State University
See all
Publications