首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Nicolae Goga | Synapse
NG
Nicolae Goga
Formal Methods in Verification
University of Groningen
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
193 pubs · 1,882 cites · h-index 15
Affiliations
University of Groningen
Universitatea Națională de Știință și Tehnologie Politehnica București
University of Science and Technology
See all
Publications