الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
E. Allen Emerson | Synapse
EA
E. Allen Emerson
Formal Methods in Verification
The University of Texas at Austin
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
154 pubs · 20,799 cites · h-index 55
Affiliations
The University of Texas at Austin
Harvard University
Harvard University Press
See all
Publications