홈
탐색
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