TY  - RPRT
TI  - Invariant Generation for Multi-Path Loops with Polynomial Assignments
AU  - Andreas Humenberger
AU  - Maximilian Jaroschek
AU  - Laura Kovács
PY  - 2018
DO  - 10.1007/978-3-319-73721-8_11
UR  - https://arxiv.org/abs/1801.03967
ID  - 1801.03967
ER  -