TY  - RPRT
TI  - Multivariant Assertion-based Guidance in Abstract Interpretation
AU  - Isabel Garcia-Contreras
AU  - Jose F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2018
UR  - https://arxiv.org/abs/1808.05197
ID  - 1808.05197
ER  -