TY  - RPRT
TI  - Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
AU  - Assalé Adjé
AU  - Stéphane Gaubert
AU  - Eric Goubault
PY  - 2012
DO  - 10.2168/lmcs-8(1:1)2012
UR  - https://arxiv.org/abs/1111.5223
ID  - 1111.5223
ER  -