Sanjit Seshia - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Not registered as user

Name:Sanjit Seshia

Country:United States

Affiliation:University of California, Berkeley

Personal website: http://people.eecs.berkeley.edu/~sseshia/

Contributions

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track

Show activities from other conferences

ETAPS 2019-profile
View general profile