TY  - RPRT
TI  - Finite Countermodel Based Verification for Program Transformation (A Case Study)
AU  - Alexei P. Lisitsa
AU  - Andrei P. Nemytykh
PY  - 2015
DO  - 10.4204/eptcs.199.2
UR  - https://arxiv.org/abs/1512.03859
ID  - 1512.03859
ER  -