 | Monter d'un niveau |
Tlili, S., Fernandez, J. M., Belghith, A., Dridi, B., & Hidouri, S. (septembre 2014). Scalable Security Verification of Software at Compile Time [Communication écrite]. 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Victoria, British Columbia. Lien externe
