الرئيسية
استكشاف
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