SPLASH 2018 (series) / Sanjit Seshia
Not registered as user yet
Name: Sanjit Seshia
Affiliation: UC Berkeley
Contributions
| SPLASH 2018 | Author of Compositional Programming and Testing of Dynamic Distributed Systems within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile