Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
SA
Sanjit A. Seshia
Formal Methods in Verification
University of California, Berkeley
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
439 pubs · 15,118 cites · h-index 63
Affiliations
University of California, Berkeley
Berkeley College
University of California, Santa Cruz
See all
Publications