Muthana, A. A. A. (2008). A proof-producing machine-code analyzer for secure information flow. IEEE.
シカゴスタイル引用形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.
警告: この引用は必ずしも正確ではありません.