Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
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