TY  - RPRT
TI  - Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation
AU  - Mendes Oulamara
AU  - Arnaud Venet
PY  - 2015
DO  - 10.1007/978-3-319-21690-4_24
UR  - https://arxiv.org/abs/1509.08700
ID  - 1509.08700
ER  -