• Sign in
  • Sign up
conf.researchr.org / Ezudheen P
  • SPLASH 2018 profile
No Photo

Registered user since Tue 17 Apr 2018

Name:Ezudheen P

Contributions

2018

SPLASH

  • Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track
  • Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
Share
xTue 20 May 08:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up