@misc{indiciae226c8a622833,
  title = {Invariant Generation for Multi-Path Loops with Polynomial Assignments},
  author = {Andreas Humenberger and Maximilian Jaroschek and Laura Kovács},
  year = {2018},
  doi = {10.1007/978-3-319-73721-8\_11},
  url = {https://arxiv.org/abs/1801.03967},
  note = {Source identifier: 1801.03967}
}