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