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

Registered user since Sun 2 Feb 2020

Name: Kush Jain

Affiliation: The University of Texas at Austin

Contributions

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

ICSE 2020-profile
View general profile