Scalable Security Verification of Software at Compile Time.

Autor: Tlili, Syrine, Fernandez, Jose M., Belghith, Abdelfettah, Dridi, Bilel, Hidouri, Soufien

Publikováno v: 2014 IEEE 14th International Working Conference on Source Code Analysis & Manipulation; 2014, p115-124, 10p