Emilio Jesús Gallego Arias - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Registered user since Thu 9 Jun 2016

Name:Emilio Jesús Gallego Arias

Country:France

Affiliation:INRIA

Personal website: https://www.irif.fr/~gallego/

Research interests:theorem proving, functional programming, computer music

Contributions

2020

ICSE

mCoq: Mutation Analysis for Coq Verification Projects

Show activities from other conferences

ICSE 2020-profile
View general profile