Conférence
Zhioua, Zeineb; Short, Stuart; Roudier, Yves
Static code analysis for software security verification: Problems and approaches
STPSA 2014, 9th IEEE International Workshop on Security, Trust and Privacy for Software Applications, in COMPSAC 2014, 21-25 July 2014, Västerås, Sweden