Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
ICSE 2020 (series) / Milos Gligoric
Milos Gligoric

Registered user since Mon 18 Dec 2017

Name: Milos Gligoric

Country: United States

Affiliation: The University of Texas at Austin

Contributions

ICSE 2020Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track
Programme Committee in Program Committee within the Technical Papers-track
Web Co-Chair in Organizing Committee
Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
Show activities from other conferences

ICSE 2020-profile
View general profile