홈
탐색
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