Not registered as user yet
Name: Sanjit Seshia
Affiliation: UC Berkeley
Contributions
ICSE 2020 | ICSE-10 Most Influential Paper Award | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile
Not registered as user yet
Name: Sanjit Seshia
Affiliation: UC Berkeley
Contributions
ICSE 2020 | ICSE-10 Most Influential Paper Award | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |