SPLASH 2014 (series) / P. Madhusudan
Registered user since Tue 19 Apr 2016
Name: P. Madhusudan
Affiliation: University of Illinois at Urbana-Champaign
Contributions
| SPLASH 2014 | Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile