Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Emanuele De Angelis | Synapse
ED
Emanuele De Angelis
Formal Methods in Verification
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
82 pubs · 419 cites · h-index 10
Affiliations
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
Confederazione Nazionale dell'Artigianato e Della Piccola e Media Impresa
University of Waterloo
See all
Publications