Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
René Rydhof Hansen | Synapse
RR
René Rydhof Hansen
Formal Methods in Verification
Aalborg University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
133 pubs · 1,780 cites · h-index 22
Affiliations
Aalborg University
Kiel University
Max Planck Institute for Evolutionary Biology
See all
Publications