Okun, V.
, Delaitre, A.
and Black, P.
(2011),
Report on the third static analysis tool exposition (SATE 2010):, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.SP.500-283
(Accessed October 8, 2024)