ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Antoine Miné

Registered user since Sat 29 Oct 2016

Name:Antoine Miné
Country:France
Affiliation:UPMC, France
Research interests:Static Analysis, Abstract Interpretation, Program Verification

Contributions

PERR 2019 Analysis of program differences with numerical abstract interpretation
ESOP 2019 An abstract domain for trees with numeric relations
Show activities from other conferences

ETAPS 2019-profile
View general profile