Yang, Z., & Lei, H. (2018). Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Yang, Zheng, ба Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.
MLA -ийн эшлэл (9 дэх хэвлэлт)Yang, Zheng, ба Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.