conf.researchr.org / Ahmad Dinkins
Not registered as user yet
Name:Ahmad Dinkins
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Contributions
| SPLASH 2021 | Author of Synthesizing Contracts Correct Modulo a Test Generator within the OOPSLA-track |