Ahmad Dinkins is an author at Tufts University.
Publications per year
2021–2021
1
1
Synthesizing contracts correct modulo a test generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins et al. · Proceedings of the ACM on Programming Languages · 2021 · 10 citations · Full text
Rows per page
1–1 of 1