Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014

Registered user since Sun 22 May 2016

Name:Pranav Garg
Affiliation:University of Illinois at Urbana-Champaign


SPLASH 2014 Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
Show activities from other conferences

SPLASH 2014-profile
View general profile