placeholder image

Butant, Antonin

Person

Positions

, École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise

selected publications

conference paper
- Preuve formelle et contrainte alldiff. . 2016

full name

Antonin Butant

Publications in VIVO

Co-author Network