Search Results - Muthana, Abdulrahman Ahmad Abdu

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    A proof-producing machine-code analyzer for secure information flow

    A proof-producing machine-code analyzer for secure information flow by Muthana, Abdulrahman Ahmad Abdu, Abd Ghani, Abdul Azim, Mahmod, Ramlan, Selamat, Mohd Hasan

    Published 2008
    Get full text
    Get full text

Search Tools: