होम
एक्सप्लोर
nav.journalClub
ट्रेंडिंग
और
Synapse
⌘+K
Synapse
भाषा
हिन्दी
हिन्दी
Dan Williams | Synapse
DW
Dan Williams
Security and Verification in Computing
Virginia Tech
Share
Follow
Claim This Profile
About
Research focus
Security and Verification in Computing
Impact
86 pubs · 3,077 cites · h-index 23
Affiliations
Virginia Tech
IBM (United States)
Dynamic Systems Analysis (Canada)
See all
Publications