Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020

Not registered as user yet

Name: Ahmet Celik

Affiliation: Facebook, Inc.

Contributions

ICSE 2020 mCoq: Mutation Analysis for Coq Verification Projects
Show activities from other conferences

ICSE 2020-profile
View general profile