@misc{indiciae699b88ccd9da,
  title = {Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems},
  author = {Zheng Yang and Hang Lei},
  year = {2018},
  doi = {10.1109/access.2018.2880692},
  url = {https://arxiv.org/abs/1808.08511},
  note = {Source identifier: 1808.08511}
}