MARÉCHAL Alexandre

Postdoc
Gruppo di ricerca : APR
Data di partenza : 02/28/2019
https://lip6.fr/Alexandre.Marechal

Data di partenza : 02/28/2019

Pubblicazioni 2019

Articoli su atti di conferenza

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)