conf.researchr.org / Emina Torlak
Not registered as user yet
Name:Emina Torlak
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 |