APA (7th ed.) Citation

Muthana, A. A. A., Abd Ghani, A. A., Mahmod, R., & Selamat, M. H. (2008). A proof-producing machine-code analyzer for secure information flow. IEEE.

Chicago Style (17th ed.) Citation

Muthana, Abdulrahman Ahmad Abdu, Abdul Azim Abd Ghani, Ramlan Mahmod, and Mohd Hasan Selamat. A Proof-producing Machine-code Analyzer for Secure Information Flow. IEEE, 2008.

MLA (9th ed.) Citation

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