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

Registered user since Sat 29 Oct 2016

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


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

ETAPS 2019-profile
View general profile