ホーム
探索
nav.journalClub
トレンド
その他
Synapse
⌘+K
Synapse
言語
日本語
日本語
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