Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
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