Yang, Z., & Lei, H. (2018). Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE.
Lua i Stíl Chicago (17ú heag.)Yang, Zheng, agus Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.
Lua MLA (9ú heag.)Yang, Zheng, agus Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.