Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
Eduard Baranov | Synapse
EB
Eduard Baranov
Formal Methods in Verification
UCLouvain
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
31 pubs · 223 cites · h-index 8
Affiliations
UCLouvain
École Polytechnique Fédérale de Lausanne
St Petersburg University
See all
Publications