MARÉCHAL Alexandre

Pós-doutorando
Equipe : APR
Data de partida : 28/02/2019
https://lip6.fr/Alexandre.Marechal

Data de partida : 28/02/2019

Publicações 2019

Artigos de Conferencia

2019
- Gh. Ziat, A. Maréchal, M. Pelleau, A. Miné, Ch. Truchet : “Combination of Boxes and Polyhedra Abstractions for Constraint Solving”, The 8^th International Workshop on Numerical and Symbolic Abstract Domains, Porto, Portugal (2019)