conf.researchr.org / Ahmed Irfan
Not registered as user yet
Name:Ahmed Irfan
Affiliation:Amazon Web Services
Contributions
| ISSTA 2022 | Author of Testing Dafny (Experience Paper) within the Technical Papers-track |
Not registered as user yet
Contributions
| ISSTA 2022 | Author of Testing Dafny (Experience Paper) within the Technical Papers-track |