TY  - RPRT
TI  - Generating Loop Invariants for Program Verification by Transformation
AU  - G. W. Hamilton
PY  - 2017
DO  - 10.4204/eptcs.253.5
UR  - https://arxiv.org/abs/1708.07223
ID  - 1708.07223
ER  -