Okun, V.
, Delaitre, A.
and Black, P.
(2010),
The second static analysis tool exposition (SATE) 2009:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.SP.500-287
(Accessed November 8, 2024)