MARÉCHAL Alexandre

Postdoc
Equipo : APR
Fecha de salida : 28/02/2019
https://lip6.fr/Alexandre.Marechal

Fecha de salida : 28/02/2019

Publicaciones 2019

Documentos de conferencias

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)