TY  - RPRT
TI  - Trace Logic for Inductive Loop Reasoning
AU  - Pamina Georgiou
AU  - Bernhard Gleiss
AU  - Laura Kovács
PY  - 2020
UR  - https://arxiv.org/abs/2008.01387
ID  - 2008.01387
ER  -