![](/img/cover-not-exists.png)
[IEEE 2008 International Symposium on Information Technology - Kuala Lumpur (2008.08.26-2008.08.28)] 2008 International Symposium on Information Technology - A proof-producing machine-code analyzer for secure information flow
Muthana, Abdulrahman, Ghani, Abdul Azim Abd, Mahmod, Ramlan, Selamat, HasanYear:
2008
Language:
english
DOI:
10.1109/itsim.2008.4631593
File:
PDF, 352 KB
english, 2008