Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
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