ホーム
探索
nav.journalClub
トレンド
その他
Synapse
⌘+K
Synapse
言語
日本語
日本語
B. A. Trakhtenbrot | Synapse
BA
B. A. Trakhtenbrot
Formal Methods in Verification
Tel Aviv University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
49 pubs · 1,109 cites · h-index 13
Affiliations
Tel Aviv University
Imperial College London
Siberian Branch of the Russian Academy of Sciences
See all
Publications