Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II.

Autor: Chatzieleftheriou, George, Chatzopoulos, Apostolos, Katsaros, Panagiotis

Publikováno v: Leveraging Applications of Formal Methods, Verification & Validation. Specialized Techniques & Applications: Part II; 2014, p486-488, 3p