TY  - RPRT
TI  - Loop invariants: analysis, classification, and examples
AU  - Carlo A. Furia
AU  - Bertrand Meyer
AU  - Sergey Velder
PY  - 2014
DO  - 10.1145/2506375
UR  - https://arxiv.org/abs/1211.4470
ID  - 1211.4470
ER  -