Browsing by Author Hasan Selamat
Showing results 1 to 1 of 1
| Previews | Issue Date | Tahap Akses | Title | Author(s) |
|---|---|---|---|---|
| - | - | A proof-producing machine-code analyzer for secure information flow | Abdulrahman Muthana; Abdul Azim Abd Ghani; Ramlan Mahmod; Hasan Selamat; International Symposium on Information Technology |