• Sign in
  • Sign up
conf.researchr.org / Abhishek Rose
  • SPLASH 2020 profile

Not registered as user yet

Name: Abhishek Rose

Affiliation: IIT Delhi

Contributions

SPLASH 2020 Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA-track
Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA Artifacts-track

Share
xSun 7 Mar 16:18
using conf.researchr.org (v1.43.2)
Support page
Sign Up