홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
Istvan Haller | Synapse
IH
Istvan Haller
Security and Verification in Computing
Microsoft Research (United Kingdom)
Share
Follow
Claim This Profile
About
Research focus
Security and Verification in Computing
Impact
40 pubs · 1,456 cites · h-index 18
Affiliations
Microsoft Research (United Kingdom)
Vrije Universiteit Amsterdam
University of Amsterdam
See all
Publications