Milos Gligoric - ICSE 2020

Registered user since Mon 18 Dec 2017

Name: Milos Gligoric

Country: United States

Affiliation: The University of Texas at Austin

Contributions

ICSE 2020	Author 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

Using general profile