Ankush Desai - SPLASH 2014

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Registered user since Mon 18 Dec 2017

Name:Ankush Desai

Affiliation:University of California, Berkeley

Contributions

2014

SPLASH

Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants

Show activities from other conferences

SPLASH 2014-profile
View general profile