Dyfyniad APA

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

Dyfyniad Arddull Chicago

Yang, Zheng, and Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.

Dyfyniad MLA

Yang, Zheng, and Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.