首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Łukasz Mikulski | Synapse
ŁM
Łukasz Mikulski
Formal Methods in Verification
Nicolaus Copernicus University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
101 pubs · 332 cites · h-index 11
Affiliations
Nicolaus Copernicus University
Institute of Computer Science
Polish Academy of Sciences
See all
Publications