@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},
}