@misc{indiciae07b651fae23b,
  title = {Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis},
  author = {Assalé Adjé and Stéphane Gaubert and Eric Goubault},
  year = {2012},
  doi = {10.2168/lmcs-8(1:1)2012},
  url = {https://arxiv.org/abs/1111.5223},
  note = {Source identifier: 1111.5223}
}