SPLASH 2014 (series) / Ankush Desai
Registered user since Mon 18 Dec 2017
Name:Ankush Desai
Affiliation:University of California, Berkeley
Contributions
| SPLASH 2014 | Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile