Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
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