Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
| Autor: | Hadjidj, R., Xiaochun Yang, Tlili, S., Debbabi, M. |
|---|---|
| Zdroj: | 2008 Sixth Annual Conference on Privacy, Security & Trust; 2008, p133-142, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|