TY  - RPRT
TI  - Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems
AU  - Zheng Yang
AU  - Hang Lei
PY  - 2018
DO  - 10.1109/access.2018.2880692
UR  - https://arxiv.org/abs/1808.08511
ID  - 1808.08511
ER  -