Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
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