@article{EURECOM+4799, author = {Zhioua, Zeineb and Short, Stuart and Roudier, Yves}, title = {Towards the verification and validation of software security properties using static code analysis}, journal = {Computer Science: Theory and Application, Volume 2, N°2, 2014, ISSN: 2336-0984}, year = {2014}, }