APA(7版)引用形式

Yang, Z., & Lei, H. (2018). Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE.

Chicagoスタイル(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.

警告: この引用は必ずしも正確ではありません.