TY  - RPRT
TI  - Verification of Programs via Intermediate Interpretation
AU  - Alexei P. Lisitsa
AU  - Andrei P. Nemytykh
PY  - 2017
DO  - 10.4204/eptcs.253.6
UR  - https://arxiv.org/abs/1708.09002
ID  - 1708.09002
ER  -