Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Daniel Neider | Synapse
DN
Daniel Neider
Formal Methods in Verification
TU Dortmund University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
164 pubs · 1,564 cites · h-index 21
Affiliations
TU Dortmund University
Shanghai Key Laboratory of Trustworthy Computing
Ruhr West University of Applied Sciences
See all
Publications