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

	
		OSZAR »