APA引文

Muthana, A. A. A. (2008). A proof-producing machine-code analyzer for secure information flow. IEEE.

Chicago Style Citation

Muthana, Abdulrahman Ahmad Abdu. A Proof-producing Machine-code Analyzer for Secure Information Flow. IEEE, 2008.

MLA引文

Muthana, Abdulrahman Ahmad Abdu. A Proof-producing Machine-code Analyzer for Secure Information Flow. IEEE, 2008.

警告：這些引文格式不一定是100％准確.