@misc{indiciae546f6dc7b3e7,
  title = {Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs},
  author = {Thomas Martin Gawlitza and David Monniaux},
  year = {2012},
  doi = {10.2168/lmcs-8(3:29)2012},
  url = {https://arxiv.org/abs/1209.0643},
  note = {Source identifier: 1209.0643}
}