![](/img/cover-not-exists.png)
[IEEE 2008 Sixth Annual Conference on Privacy, Security and Trust (PST) - Fredericton, Canada (2008.10.1-2008.10.3)] 2008 Sixth Annual Conference on Privacy, Security and Trust - Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
Hadjidj, Rachid, Yang, Xiaochun, Tlili, Syrine, Debbabi, MouradYear:
2008
Language:
english
DOI:
10.1109/pst.2008.21
File:
PDF, 231 KB
english, 2008