TY  - RPRT
TI  - Algebra-based Synthesis of Loops and their Invariants (Invited Paper)
AU  - Andreas Humenberger
AU  - Laura Kovacs
PY  - 2021
DO  - 10.1007/978-3-030-67067-2_2
UR  - https://arxiv.org/abs/2103.03599
ID  - 2103.03599
ER  -