홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
Mohammad Hossein Khoshechin Jorshari | Synapse
MH
Mohammad Hossein Khoshechin Jorshari
Logic, programming, and type systems
Max Planck Institute for Software Systems
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
4 pubs · 1 cites · h-index 1
Affiliations
Max Planck Institute for Software Systems
Publications