Registered user since Sun 22 May 2016

Name: Pranav Garg

Affiliation: University of Illinois at Urbana-Champaign

Contributions

SPLASH 2018Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
Show activities from other conferences

Using general profile