SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Deepak D'Souza

Not registered as user yet

Name: Deepak D’Souza

Contributions

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

SPLASH 2018-profile
View general profile