Rachid Hadjidj Xiaochun Yang Syrine Tlili Mourad Debbabi Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. 133-142 2008 PST http://dx.doi.org/10.1109/PST.2008.21 conf/pst/2008 db/conf/pst/pst2008.html#HadjidjYTD08