conf.researchr.org / Ahmet Celik
Not registered as user yet
Name:Ahmet Celik
Affiliation:Facebook, Inc.
Contributions
| ICSE 2020 | Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track |
Not registered as user yet
Contributions
| ICSE 2020 | Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track |